Formale modelle fuer informationssysteme : GI-fachtagung, 24.-26. mai 1979, Tutzing - Mayr, Heinrich C.; Meyer, Bernd E. (Informatik-Fachberichte / Springer Verlag ;, 1979)