Abstraction and specification with Modula-2 /
Willis, Claire.
Paddon, Derek.
London : Pitman,
1992.