Reliable software through composite design - Myers, Glenford J. (D. Van Nostrand Company, Inc, 1975)