Wolfgang Golubski Typanalyse in ungetypten objekt-orientierten Sprachen. 592-601 1997 GI Jahrestagung db/conf/gi/gi97.html#Golubski97