1. Allwein, G.: The duality of algebraic and Kripke models for linear logic. Thesis, Indiana University, Bloomington, Indiana (1992)
2. Allwein, G., Hartonas, C.: Duality for bounded lattices. Indiana University Logic Group, Preprint Series, IULG-93-25 (1993)
3. Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge (1998)
4. Craig, A.P.K., Haviar, M.: Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Available at http://andrewcraigmaths.wordpress.com/research/
5. Davey, B.A., Haviar, M., Priestley, H.A.: Boolean topological distributive lattices and canonical extensions. Appl. Categ. Struct. 15, 225–241 (2007)