Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco  TAPAs: A Tool for the Analysis of Process Algebras.   In:  Transactions on Petri Nets and Other Models of Concurrency I.   Lecture Notes in Computer Science, 1 .  Springer, pp. 54-70.  ISBN 978-3-540-89286-1      (2008)