Computer logic, testing and verification - Roth, J Paul (IBM Thomas J. Watson research center, 1980)