APA-Zitierstil (7. Ausg.)

Dale Miller, G. N. (2012). Programming with Higher-Order Logic (1.). Cambridge University Press.

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (8. Ausg.)

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.