Foundations of Dependable Computing System Implementation - Koob, Gary M.; Lau, Clifford G. (Springer US, 1994)