The Typed -Calculus with First-Class Processes", LNCS 366 (1989)

by F Nielson