Abstrakte Datentypen mit automatischen Implementierungen. - Heck, Norbert (1985)