TY  - BOOK
AU  - POTTER AND ETC.
TI  - INTRODUCTION TO FORMAL SPECIFICATION AND Z
SN  - 0-13-242207-7
U1  - 005.1 POT 
PB  - PEARSON
ER  -