TY  - BOOK
AU  - Cleavelant, Walter Rance.
TI  - Type-theoretic models of concurrency
U1  - 001.64404 
PY  - 1987///
CY  - Ann Arbor
PB  - UMI
ER  -