1. Semantische Begründung der derivativen Implikationslogik;Beth;Archiv. f. Math. Logik u. Grundl. Forsch.,1961
2. G. Birkhoff, Lattice theory, New York (1948).
3. On the structure of abstract algebras;Birkhoff;Proc. Cambridge Phil. Soc.,1935
4. D. H. J. de Jongh, Recherches sur les I-valuations, rapp. no 17 Contr. Euratom 010–60–12, CETN (1962).
5. D. H. J. de Jongh, Investigations on the intuitionistic propositional calculus, dissertation (typewritten), University of Wisconsin (1968).