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