Modula-2 [durch systematischen Entwurf zum korrekten Programm] - Sale, Arthur (Addison-Wesley, 1987)