TY  - BOOK
AU  - Jonathan, Jacky.,
TI  - The Way of Z: Practical Programming with Formal Methods
SN  - 0521559766
U1  - 005.12 22
PY  - 1997///
CY  - New York
PB  - Cmbridge University Press
N1  - This book is having bibliography328-339 from page
ER  -