Effective methods of EDP quality assurance - Perry, William E (The QED series, 1983)