A `best-of-breed' approach for designing a fast algorithm for computing fixpoints of Galois connections
scientific article; zbMATH DE number 6715842