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