Verläßliche Informationssysteme GI-Fachtagung Darmstadt, 13. - 15. März 1991 ; proceedings - Pfitzmann, Andreas 1958-2010 (Informatik-Fachberichte, 1991)