APA-viite (7. p.)

Guessarian, I., & Mesaguer, J. (1985). On the axiomatization of "if-then-else". Center for the Study of Language and Information, Stanford University.

Chicago-viite (17. p.)

Guessarian, Irène, ja José Mesaguer. On the Axiomatization of "If-then-else". Stanford, CA: Center for the Study of Language and Information, Stanford University, 1985.

MLA-viite (8. p.)

Guessarian, Irène, ja José Mesaguer. On the Axiomatization of "If-then-else". Center for the Study of Language and Information, Stanford University, 1985.