Modular verification of programs with effects and effects handlers
scientific article; zbMATH DE number 7317639