APA (7th ed.) Citation

Arkoudas, K., & Musser, D. R. (2017). Fundamental proof methods in computer science: A computer-based approach. MIT Press.

Chicago Style (17th ed.) Citation

Arkoudas, Konstantine, and David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. Cambridge, MA: MIT Press, 2017.

MLA (9th ed.) Citation

Arkoudas, Konstantine, and David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. MIT Press, 2017.