Roth J Paul Mathematical design Bulding reliable complex computer sytems . - 1999 Standard No.: 9629 Source: Textual Dewey Class. No.: D6,8(B),52:4, N9