TY  - BOOK
AU  - Meertens,Lambert G.L.T.
TI  - Program specification and transformation
SN  - 0444702237
U1  - QA/76.6 
PY  - 1987///
CY  - Amsterrdam
PB  - Elsevier Science Publishers
KW  - Electronic digital computers -- Programming -- Congresses
KW  - Electronic digital computers -- Programming.
ER  -