An introduction to program fault tolerance : a structured programming approach / - Mili, Ali. (Prentice Hall International, 1990)