Derivation of programs which traverse their input data only once (1987)

by A Pettorossi
Venue:In Advanced School on Programming Methodologies