Inferring the equivalence of functional programs that mutate data
constrained equivalence of programs with effects
scientific article; zbMATH DE number 78176
scientific article