A predicate transformer for progress
scientific article; zbMATH DE number 4137306