Combining angels, demons and miracles in program specifications
complete lattice of monotonic predicate transformers
scientific article; zbMATH DE number 96047
scientific article