with Pettorossi, A. , 1987, The parallel evaluation of functional programs, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 149-165.