Ein Modulkonzept in der Theorie abstrakter Datentypen - Schoett, Oliver (1981)