Program derivation via list introduction (1997)

by A Pettorossi, M Proietti
Venue:In Algorithmic Languages and