On the Planar Monotone Computation of Boolean Functions. - Meurig Beynon; John Buckle (Theor. Comput. Sci., 1987)

Computational aspects of lattice theory. - John Buckle (1989)

A Characterisation of Meet and Join Respecting Pre-Orders and Congruences on Finite Lattices. - John Buckle (Acta Informatica, 1993)