Design and analysis of fault-tolerant digital systems - Johnson, Barry W. (Addison-Wesley Publishing Company, Inc, 1989)