The typed -calculus with first-class processes (1989)

by F Nielson
Venue:In Proc. PARLE'89