A framework for hardware-software tradeoffs in the design of fault-tolerant computers. - K. Mani Chandy; Chittoor V. Ramamoorthy; A. Cowan (AFIPS Fall Joint Computing Conference (1), 1972)