Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (8a ed.)

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