Lazy functions and processes (1995)

by D Sangiorgi
Venue:RR2515, INRIA, Sophia-Antipolis