A Rigorous Approach toFault-Tolerant Programming (1985)

by F Cristian
Venue:IEEE Transactions on Software Engineering