Miller, D., & Nadathur, G. Programing wiht higher order-logic.
芝加哥风格引文Miller, Dale, 与 Gopalan Nadathur. Programing Wiht Higher Order-logic.
MLA引文Miller, Dale, 与 Gopalan Nadathur. Programing Wiht Higher Order-logic.
警告：这些引文格式不一定是100％准确.
APA引文