Friedrich L. Bauer Warum abstrakte Datentypen? 29-36 1985 8 Informatik Spektrum 1 db/journals/insk/insk8.html#Bauer85