TY  - BOOK
AU  - Casey,Chris
TI  - A programming approach to formal methods
SN  - 007707968X
U1  - 005.131 CAS 1994 
PY  - 1994///
CY  - London, New York
PB  - McGraw-Hill
KW  - Electronic digital computers
KW  - Programming
N1  - Includes bibliographical references (p. 257) and index
ER  -