L. Freitas, A. Sampaio, and A. Cavalcanti.
" JACK: A Framework for Process Algebra Implementation in Java", in <em>Anais do XVI Simpósio Brasileiro de Engenharia de Software</em>, Gramado/RS, 2002, pp. 98-113, doi: <a href="https://doi.org/10.5753/sbes.2002.23941">https://doi.org/10.5753/sbes.2002.23941</a>.