VIS ’91 Verläßliche Informationssysteme GI-Fachtagung, Darmstadt, 13.–15. März 1991 Proceedings - Pfitzmann, Andreas (Informatik-Fachberichte, 1991)