Freitas, Leonardo, 		Sampaio, Augusto, E 		Cavalcanti, Ana.
" JACK: A Framework for Process Algebra Implementation in Java" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (16 outubro 2002)