On the lattice of specifications: Applications to a specification methodology
scientific article; zbMATH DE number 146991
scientific article