TY  - BOOK
AU  - Willis,Claire
AU  - Paddon,D.J.
TI  - Abstraction and specification with modula-2
SN  - 0273031473
PY  - 1992///
CY  - London
PB  - pitman
KW  - Programming languages
KW  - Modula-2 (Computer program language)
KW  - Software engineering
ER  -