An introduction to formal specification and Z /
Potter, Ben.
Sinclair, Jane.
Till, David,1942-
Hemel Hempstead : Prentice Hall,
1990.
Includes bibliography and index
Electronic digital computers