Guessarian, I., & Mesaguer, J. (1985). On the axiomatization of "if-then-else". Center for the Study of Language and Information, Stanford University.
芝加哥风格引文Guessarian, Irène, 与 José Mesaguer. On the Axiomatization of "If-then-else". Stanford, CA: Center for the Study of Language and Information, Stanford University, 1985.
MLA引文Guessarian, Irène, 与 José Mesaguer. On the Axiomatization of "If-then-else". Center for the Study of Language and Information, Stanford University, 1985.
警告:这些引文格式不一定是100%准确.