A rigorous approach to fault-tolerant programming (1985)

by F Cristian
Venue:IEEE Transactions on Software Engineering