PAM : a process algebra manipulator (version 1.0) /
Lin, Huimin.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1993.
Caption title.