TY  - BOOK
AU  - BUSH,VICKY J, COTTAM,IAN D, LATHAM,JOHN T
TI  - PROGRAMMING PROCESS: AN INTRODUCTION USING VDM AND PASCAL
SN  - NCST
U1  - 396 
PY  - 1990///
CY  - ENGLAND
PB  - AW
N1  - BR-1117
ER  -