Closure and Convergence: A Foundation of Fault-Tolerant Computing (1993)

by Anish Arora, Mohamed Gouda
Venue:IEEE Transactions on Software Engineering