Стиль цитування APA (7-ме видання)

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

Чикаго стиль цитування (17-те видання)

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

Стиль цитування MLA (8-ме видання)

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