Abstraction and specification with modula-2 - Willis, Claire (pitman, 1992)