Grzegorz Bancerek Piotr Rudnicki A Compendium of Continuous Lattices in MIZAR. 189-224 2002 29 J. Autom. Reasoning 3-4 db/journals/jar/jar29.html#BancerekR02