Freitas, Leonardo, Augusto Sampaio, and Ana Cavalcanti.
" JACK: A Framework for Process Algebra Implementation in Java." <em>Anais do XVI Simpósio Brasileiro de Engenharia de Software,
Gramado/RS, 2002</em>. SBC, 2002,  
pp.98-113.