Chris Mitchell Mathematics Of Dependable Systems - New York Oxford University Press 1995 - 295 Dewey Class. No.: 510