Transformation of Programs and Use of Tupling Strategy (1977)

by A Pettorossi
Venue:Proc. Informatica 77