Modula-2 als Basis einer Spezifikations- und Implementationsmethode für abstrakte Datentypen. - Manfred Reitenspieß; G. Rupprecht (Angew. Inform., 1983)