Bernd Krieg-Brückner Types in the Programming Language Ada. 385-408 1982 On Conceptual Modelling (Intervale) db/conf/db-workshops/intervale82.html#Krieg-Bruckner82