Hoare, C. (1985). A Couple of Novelties in the Propositional Calculus.
芝加哥风格引文Hoare, C. A Couple of Novelties in the Propositional Calculus. 1985.
MLA引文Hoare, C. A Couple of Novelties in the Propositional Calculus. 1985.
警告：这些引文格式不一定是100％准确.
APA引文