TY  - BOOK
AU  - Bowen, J.P. (et-al) (Eds.)
TI  - ZB 2000 :Formal Specification and development in Zand B : lecture notes in computer science : Proceedings
SN  - 0003540679448
U1  - 005.12 
PB  - Springer: Tokyo
KW  - formal specifications
ER  -