On the role of read and write frames in algorithm refinement for states with invariants /
Bicarregui, Juan.
Rutherford Appleton Laboratory.
Didcot : Rutherford Appleton Laboratory,
1992.
Includes bibliographical references.
Invariants.