Proving and applying program transformations expressed with second-order patterns
scientific article; zbMATH DE number 3605894