Proving and applying program transformations expressed with second-order patterns (1978)

by G Huet, B Lang
Venue:Acta Informatica