1974
Reliability and Integrity of Large Computer Programs.
Proceedings of the GFK-GI-GMR Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974, 1974