D. Siewiorek
Carnegie-Mellon Univ., Pittsburgh, PA
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability