Huimin Lin: PAM: A Process Algebra Manipulator. CAV 1991: 136-146