Freitas, Leonardo, Augusto Sampaio, and Ana Cavalcanti.
" JACK: A Framework for Process Algebra Implementation in Java." <em>Proceedings of the 16th Brazilian Symposium on Software Engineering,
Gramado/RS, 2002</em>. SBC, 2002,  
pp.98-113.