John Buckle's PhD thesis
John Buckle Computational Aspects of Lattice Theory. PhD thesis, Department of Computer Science, University of Warwick, UK (November 1989).
The copyright of the material in this thesis rests with the author and copying (or any other use of the material) without prior consent is not permitted.
