APA (7th ed.) Citation

Kaufmann, M., Manolios, P., & Moore, J. S. (2000). Computer-Aided Reasoning: ACL2 Case Studies (1st ed. 2000.). Springer US. https://doi.org/10.1007/978-1-4757-3188-0

Chicago Style (17th ed.) Citation

Kaufmann, Matt, Panagiotis Manolios, and J Strother Moore. Computer-Aided Reasoning: ACL2 Case Studies. 1st ed. 2000. New York, NY: Springer US, 2000. https://doi.org/10.1007/978-1-4757-3188-0.

MLA (9th ed.) Citation

Kaufmann, Matt, et al. Computer-Aided Reasoning: ACL2 Case Studies. 1st ed. 2000. Springer US, 2000. https://doi.org/10.1007/978-1-4757-3188-0.