TY  - BOOK
AU  - Willis, ClairePaddon, Derek
TI  - Abstraction and specification with modula-2
SN  - 0 273 03147 3
U1  - 005.133 WIL 
PY  - 1992///
CY  - London
PB  - Pitman Publishing
KW  - Modula-2 (computer program language)
N1  - includes index
ER  -