Duality in specification languages: A lattice-theoretical approach
scientific article; zbMATH DE number 4147487