TY  - BOOK
AU  - JONKERS,H.B.M
TI  - ABSTRACTION,SPECIFICATION AND IMPLEMENTATION TECHNIQUES
SN  - NCST
U1  - 458 
PY  - 1983///
CY  - AMSTERDAM
PB  - OTH
ER  -