Verification of programs that destructively manipulated data
first-order functional programming language
scientific article; zbMATH DE number 4056979
scientific article