Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen