Higher-order matching for program transformation (2001)

by O de Moor, G Sittampalam
Venue:Theoretical Computer Science