Inductive data types for predicate transformers
scientific article; zbMATH DE number 94469
scientific article