A model for the [pi]- calculus /
Hennessy, Matthew.
University of Sussex.Computer Science.
Brighton : University of Sussex,
1991.