Type-Theoretic Models of Concurrency. - Walter Cleaveland (1987)