Gaya APA

Programming with Higher-Order Logic. (). United States of America: Cambridge University Press.

Gaya MLA

Programming with Higher-Order Logic. First published. United States of America: Cambridge University Press, . Text.