Inductive and coinductive predicate liftings for effectful programs
scientific article; zbMATH DE number 7959056
scientific article