Computer Logic, Testing and Verification. - ROTH, P. J. (1980)