ROTH, J. PAUL COMPUTER LOGIC TESTING AND VERIFICATION - USA PITMAN 1980 - 176P ISBN: 0-914894-62-5 Dewey Class. No.: 621.38195853 ROT'C