A Paradigm for Program Semantics: Power Structures and Duality. 2001. Studies in Logic, Language and Information. CSLI Publications, Stanford. ISBN 1–57586–344–8. (with C. Brink).
Dualities for Structures of Applied Logics. 2015. Studies in Logic Series on Mathematical Logic and Foundations. Volume 56. College Publications, UK. ISBN 978–84890–181–0 (with E. Orlowska and A.M. Radzikowska).
Autodescriptivity: Beware! The Computer Journal 34(4). 1991. p 380–381. (with C. Brink and R. Schmidt).
Modelling the algebra of weakest preconditions. South African Computer Journal 6. 1992. p 11–20. (with C. Brink).
Reasoning about Hoare relations. Annals of Mathematics and Artificial Intelligence 12. 1994. p 265–289. (with S. Demri and E. Orlowska).
Predicate transformers as power operations. Formal Aspects of Computing 7(2). 1995. p 169–182. (with C. Brink).
Unification of four versions of program semantics. Formal Aspects of Computing. 10. 1998. p 1–29. (with C. Brink).
Finite-cofinite program relations. Logic Journal of the IGPL. 7 (2). 1999. p 153–172. (with C. Brink).
Three dual ontologies. Journal of Philosophical Logic. 31. 2002. p 543–568. (with C. Brink).
Binary multirelations. (H de Swart et al (eds).) Theory and Application of Relational Structures as Knowledge Instruments. Lecture Notes in Computer Science 2929. p 256–271. 2003.
Modelling nondeterminism. In Proceedings of the 7th International Conference on Mathematics of Program Construction. (D Kozen (ed).) Lecture Notes in Computer Science 3125. p 228–251. 2004. (with C. Martin and S. Curtis).
Duality via truth: semantics of lattice-based logics. Logic Journal of the IGPL 13 (4). p 467–490. 2005. (with E. Orlowska). [pdf]
Relational semantics through duality. In Proceedings of the 8th International Conference on Relational Methods in Computer Science and 3rd Workshop on Applications of Kleene Algebras. Lecture Notes in Computer Science 2939. p 17–32. 2006. (Also as Brock University Technical Report CS0508.) (with E. Orlowska and I. Duntsch).
Monotone predicate transformers as up-closed multirelations. In Proceedings of the 9th International Conference on Relational Methods in Computer Science and 4th International Conference on Applications of Kleene Algebras. Lecture Notes in Computer Science 4136. p 311–327. 2006. (with C. Brink).
Relational semantics through duality. In Proceedings of the 8th International Conference on Relational Methods in Computer Science and 3rd International Conference on Applications of Kleene Algebras. Lecture Notes in Computer Science 2939. p 17–32. (Also as Brock University Technical Report CS0508 (http://www.cosc.brocku.ca/Department/Research/TR/cs0508.pdf ) 2006.(with E. Orlowska and I.Düntsch).
Modelling angelic and demonic nondeterminism using multirelations. Science of Computer Programming 65. p 140–158. 2007. (with C. Brink and S. Curtis).
Coalgebraic representations of distributive lattices with operators. Topology and its Applications 154. p 778–791. 2007. (with M. Bonsangue and A. Kurz).
Discrete duality and its application to reasoning with incomplete information. In Rough Sets and Intelligent Systems Paradigms. Lecture Notes in Computer Science 4585. p 51–56. 2007. (with E. Orlowska).
Discrete dualities for Heyting algebras with operators. Fundamenta Informaticae 81 (1–3). p 275–295. 2007. (with E. Orlowska).
Context algebras, context frames and their discrete duality. In Transactions on Rough Sets IX. 2007. (J.F. Peters et al (eds).) Lecture notes in Computer Science 5390. p 212–229. 2008.(with E. Orlowska).
Involutions on Relational Program Calculi. Scientific Annals of Computer Science XVIII. p 123–165.2008.
Discrete Duality for Relation Algebras and Cylindric Algebras. Lecture Notes in Computer Science 5827. p291–305. 2009. (with E.Orlowska).
Algebras for Galois-style connections and their discrete duality. Fuzzy Sets and Systems 161. p 1325–1342. 2010 (with E. Orlowska).
Structures with Multirelations, their Discrete Dualities and Applications. Fundamenta Informaticae 100 (1–4). p 77–98. 2010. (with I. Duentsch and E. Orlowska).
Please email me if you would like a copy of any of my papers.
A conceptual tool for understanding the complexities of mathematical proficiency. To appear in: Enhancing Science Education: Exploring knowledge practices with Legitimation Code Theory. (M. Blackie, H. Adendorff, M. Mouton (eds).) Routledge.
A care-full approach to professional development in a science context. To appear in: Reconceptualising academic development: A South African perspective. (with H. Adendorff and I. Rootman-Le Grange).