Introductory logic and formal methods /
Heath, David.
Allum, Derek.
Dunckley, Lynne.
Henley-on-Thames : Alfred Waller,
1994.
Includes bibliographic references (p. 214) and index.
Logic design
Z (Computer program language)