Program development using lambda abstraction (1987)

by A Pettorossi
Venue:In Int'l Conf. on Fundations of Software Technology and Theoretical Computer Science