Verläßliche IT-Systeme Proceedings der GI-Fachtagung VIS ’95 - Brüggemann, Hans H. (DUD-Fachbeiträge, 1995)