Citação norma APA

Miller, D., & Nadathur, G. Programing wiht higher order-logic.

Citação norma Chicago

Miller, Dale, and Gopalan Nadathur. Programing Wiht Higher Order-logic.

Citação norma MLA

Miller, Dale, and Gopalan Nadathur. Programing Wiht Higher Order-logic.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.