1. Beynon, W.M. Replaceability and computational equivalence in finite distributive lattices. Theory of Computation Report 61, Univ. of Warwick, 1984.
2. Beynon, W.M. Geometric aspects of partially-ordered systems, Ph.D. thesis, King's College, Univ. of London, 1973.
3. Beynon, W.M. Duality theorems for finitely-generated vector lattices, Proc.Lond.Math.Soc. (3) 31, 114–128, 1975.
4. Beynon, W.M. Vector lattices freely generated by distributive lattices, Math.Proc.Camb.Phil.Soc. (81), 193–220, 1977.
5. Beynon, W.M. & Buckle, J.F. Computational equivalence and replaceability in commutative semigroups. in preparation