Leonardo Freitas, Augusto Sampaio, and Ana Cavalcanti. 2002.
 JACK: A Framework for Process Algebra Implementation in Java. In <em>Anais do XVI Simpósio Brasileiro de Engenharia de Software</em>, outubro 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>.