Reliable software through composite design - Myers, Glenford J., 1946- (PetrocelliCharter, 1975)