Vaughan R. Pratt
: Time and Information in Sequential and Concurrent Computation.
: Notes on P-Algebra 1: Process Structure.
: Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language.
: First Class Continuation Facilities in Concurrent Programming Language Harmony/2.
: I/O Mode Analysis in Concurrent Logic Programming.
: Advanced Component Interface Specification.