Closure and convergence: a foundation of fault-tolerant computing (1993)

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