Abstraction and specification with Modula-2 - Willis, Claire; Paddon, Derek J. (Pitman, 1992)
Literaturverz. S. 502