TY  - BOOK
AU  - Bjorne D Ed.
AU  -  Hoare A R Ed.
ED  - International symposium on VDM'90 VDM and Z-Formal methods in software developement (3 : 1990 : Kiel)
TI  - Proceedings on VDM'90 VDM and Z-Formal methods in software development
T2  - Lecture notes in computer science; 428
U1  - D65,8(B)92N70p1:N90, N0 
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -