Miller, D., & Nadathur, G. Programing wiht higher order-logic.
Chicago Style (17. basım) AtıfMiller, Dale, ve Gopalan Nadathur. Programing Wiht Higher Order-logic.
MLA (8th ed.) AtıfMiller, Dale, ve Gopalan Nadathur. Programing Wiht Higher Order-logic.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..