H.C. Mayr/B.E. Meyer (Hrsg.): Formale Modelle für Informationssysteme, GI-Fachtagung Tutzing 1979