Higher-order generalization in program derivation (1987)

by A Pettorossi, A Skowron
Venue:In Conf. on Theory and Practice of Software Development