Andreas Pfitzmann Eckart Raubold VIS'91, Verläßliche Informationssysteme, GI-Fachtagung, Darmstadt, 13.-15. März 1991, Proceedings VIS Informatik-Fachberichte 271 Springer 1991 3-540-53911-5 db/conf/vis/vis91.html