Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. - Alfred L. Luft; D. Steinbauer (Software Engineering, 1980)