APA (7th ed.) Citation

Roth, J. P. (1980). Computer logic, testing, and verification. Computer Science Press.

Chicago Style (17th ed.) Citation

Roth, J. Paul. Computer Logic, Testing, and Verification. Potomac, Md.: Computer Science Press, 1980.

MLA (9th ed.) Citation

Roth, J. Paul. Computer Logic, Testing, and Verification. Computer Science Press, 1980.