A compendium of continuous lattices in MIZAR
scientific article; zbMATH DE number 1901554