Zuverlaessigkeit von rechensystemen : VORTRAEGE EINER NTG/GI-DISKUSSIONSSITZUNG AM 28. UND 29. SEPTEMBER 1978 IN KARLSRUHE - Goerke, Winfried (R. Oldenbourg Verlag Muenchen Wien, 1979)