Veltri, N., Voorneveld, N.F.W., 2021. Inductive and Coinductive Predicate Liftings for Effectful Programs 351.. https://doi.org/10.4204/eptcs.351.16