Invariants, frame and postconditions : a comparison of two formal specification notations /
Bicarregui, Juan.
Ritchie, Brian.
Rutherford Appleton Laboratory.
Didcot : Rutherford Appleton Laboratory,
1993.
Includes bibliography.