1. A Logical Autobiography;Outstanding Contributions to Logic;2021-09-25
2. Free distributive P-algebras: a new approach;Glasgow Mathematical Journal;1998-09
3. Universal terms for pseudo-complemented distributive lattices and Heyting algebras;Lecture Notes in Mathematics;1985
4. Ordered Sets and Duality for Distributive Lattices;Orders: Description and Roles - In Set Theory, Lattices, Ordered Groups, Topology, Theory of Models and Relations, Combinatorics, Effectiveness, Social Sciences, Proceedings of the Conference on Ordered Sets and their Application Château dc la Tourcttc; Ordres: Description et Rôles - En Théorie des Treillis, des Groupes Ordonnés; en Topologie, Théorie des Modèles et des Relations, Cornbinatoire, Effectivité, Sciences Sociales, Actes de la Conférence sur ies Ensembles Ordonnés et leur Applications Château de la Tourette;1984
5. Freep-algebras;Algebra Universalis;1982-12