1. Brouwer, L. E. J. (1975). Collected Works 1. Philosophy and Foundations of Mathematics. Ed. by A. Heyting. Amsterdam: North-Holland.
2. de Paiva, V. and L. C. Pereira (2005). A short note on intuitionistic propositional logic with multiple conclusions. Manuscrito 28, 317–329.
3. Gentzen, G. (1969). Investigations into logical deduction. In: The Collected Papers of Gerhard Gentzen. Ed. by M. Szabo. Amsterdam: North-Holland, 228–238.
4. Lewis, C. I. and C. H. Langford (1959). Symbolic Logic. New York: Dover Publications.
5. Martin, C. (1986). William’s machine. Journal of Philosophy 83. Eighty-Third Annual Meeting of the American Philosophical Association, Eastern Division, 564–572.