You are about to access our book library "On the verification of sequential machines at differiing levels of abstraction (Memorandum) full version" .