Leonardo Freitas, Augusto Sampaio, and Ana Cavalcanti. 2002.
 JACK: A Framework for Process Algebra Implementation in Java. In <em>Proceedings of the 16th Brazilian Symposium on Software Engineering</em>, October 16, 2002, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 98-113. DOI: <a href="https://doi.org/10.5753/sbes.2002.23941">https://doi.org/10.5753/sbes.2002.23941</a>.