MIN-Fakultät Fachbereich Informatik Bibliothek
Köhler-Bußmeier, Michael
A Survey of Elementary Object Systems - Part I: Decidability Results