Reliability and Integrity of Large Computer Programs. - C. V. Ramamoorthy; R. C. Cheugn; K. H. Kim (Fachtagung Prozessrechner, 1974)