Block2 6 Formal specification II - UNIVERSITY, Open (Milton Keynes O.U.P., 1990)