TY  - BOOK
AU  - Latham, John T.
AU  - Bush, Vicky J.
AU  - Cottam, Ian D.
TI  - Programming process : an introduction using VDM and Pascal
T2  - International computer science series
SN  - 0201416611
U1  - 005.133 
PY  - 1990///
CY  - Wokingham
PB  - Addison-Wesley
ER  -