Guessarian, I., & Mesaguer, J. (1985). On the axiomatization of "if-then-else". Center for the Study of Language and Information, Stanford University.
Chicago Style (17th ed.) CitationGuessarian, Irène, and José Mesaguer. On the Axiomatization of "If-then-else". Stanford, CA: Center for the Study of Language and Information, Stanford University, 1985.
MLA (8th ed.) CitationGuessarian, Irène, and José Mesaguer. On the Axiomatization of "If-then-else". Center for the Study of Language and Information, Stanford University, 1985.
Warning: These citations may not always be 100% accurate.