Formale Grundlagen für den Entwurf von Informationssystemen: GI-Workshop, Tutzing, 24. - 26. Mai 1994; proceedings - Lipeck, Udo W. (Inst. für Informatik, Univ., 1994)
Beitr. teilw. dt., teilw. engl. - Literaturang
Keywords: Konferenzschrift