A rigorous approach to faulttolerant programming (1985)

by F CRISTIAN
Venue:IEEE Trans. Softw. Eng