Lawful functions and program verification in miranda
scientific article; zbMATH DE number 4157903