1. Tensor products and bimorphisms;Banaschewski;Canad. Math. Bull.,1976
2. Projective and supercoherent frames;Banaschewski;J. Pure Appl. Algebra,1991
3. Lattice Theory;Birkhoff,1995
4. Residuated Lattices: An Algebraic Glimpse at Substructural Logics;Galatos,2007
5. A Compendium of Continuous Lattices;Gierz,1980