Formale Grundlagen für den Entwurf von Informationssystemen: GI-Workshop, Tutzing, 24. - 26. Mai 1994; proceedings - Lipeck, Udo W. (Informatik-Berichte, 1994)