Operation semantics with read and write frames /
Bicarregui, Juan.
Rutherford Appleton Laboratory.
Didcot : Rutherford Appleton Laboratory,
1993.
Includes bibliography.