The lambda abstraction strategy for program derivation (1989)

by A Pettorossi, A Skowron
Venue:Fundamenta Informaticae