Closure and Convergence: A foundation for Fault-Tolerant Computing (1993)

by A Arora, M Gouda
Venue:IEEE Transations on Software Engineering