A model of concurrency with fair merge and full recursion (1991)

by Yiannis N Moschovakis
Venue:Information and Computation