A simple relation between relational and predicate transformer semantics for nondeterministic programs
scientific article; zbMATH DE number 3735101