Program derivation via list introduction (0)

by A Pettorossi, M Proietti
Venue:Proceedings of the IFIP TC2/WG 2.1 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg