Specification transformers: a predicate transformer approach to composition
scientific article; zbMATH DE number 2105100