Methoden und Werkzeuge für den Test von Modula-2-Programmen. - Christine Habermann (1987)