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.
Попередження: стилі цитування не завжди правильні на всі 100%.