Leonardo Freitas, Augusto Sampaio, and Ana Cavalcanti. 2002.
JACK: A Framework for Process Algebra Implementation in Java. In Anais do XVI SimpĆ³sio Brasileiro de Engenharia de Software, outubro 16, 2002, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 98-113. DOI: https://doi.org/10.5753/sbes.2002.23941.