A higher-order concurrent langauge (1991)

by J Reppy
Venue:In Proc. SIGPLAN 91