TY  - BOOK
AU  - ROLLAND,F.D.
TI  - PROGRAMMING WITH VDM / 
U1  - 005.13 
PY  - 1992///
CY  - [S.N] : 
PB  - MACMILLAN PRESS LTD ، 
KW  - PROGRAMMING
KW  - COMPUTING
ER  -