A verification tool for value-passing processes /
Lin, Huimin.
University of Sussex.Computer Science.
Brighton : University of Sussex,
1993.
Cover title.