TY  - BOOK
TI  - Understanding Z : a specification language and its formal semantics
SN  - 0-521-33429-2
U1  - 005.133 S761 1988 
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers) -- Semantics
N1  - 001 Generalities
ER  -