Reliable software through composite design - Myers, Glenford J. (Petrocelli/Charter,New York, 1975)