Program development using lambda abstraction (1987)

by A Pettorossi
Venue:Foundations of Software Technology and Theoretical Computer Science, LNCS 287, 420–434, Springer-Verlag