Software reliability : principles and practices - Myers, Glenford J. (Business data processing, 1976)