APA-Zitierstil (7. Ausg.)

Miller, D., & Nadathur, G. (2012). Programming with higher-order logic (1. publ.). Cambridge University Press.

Chicago-Zitierstil (17. Ausg.)

Miller, Dale, und Gopalan Nadathur. Programming with Higher-order Logic. 1. publ. Cambridge: Cambridge University Press, 2012.

MLA-Zitierstil (9. Ausg.)

Miller, Dale, und Gopalan Nadathur. Programming with Higher-order Logic. 1. publ. Cambridge University Press, 2012.