Egidio Astesiano Gerardo Costa Delayed evaluation trees and their application to sementics. 110-118 1980 CLAAP conf/caap/1980 db/conf/caap/caap80.html#AstesianoC80