1 John H. Reppy. Higher-order Concurrency. Computer Science Technical Report 92-1285, Cornell University, June 1992.