Freitas, L., 		Sampaio, A., & 		Cavalcanti, A.
(2002).
 JACK: A Framework for Process Algebra Implementation in Java.
In <em>Anais do XVI Simpósio Brasileiro de Engenharia de Software</em>, (pp. 98-113). Porto Alegre: SBC.
doi:10.5753/sbes.2002.23941