Term rewriting and Hoare logic -- Coded rewriting
scientific article; zbMATH DE number 985454
scientific article