Freitas, L., 		Sampaio, A., & 		Cavalcanti, A.
2002 Oct 16.  JACK: A Framework for Process Algebra Implementation in Java. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :