Maludziński, S. P., and G. Dobrowolski. “Model Checking Processes Specified in Join-Calculus Algebra”. Computer Science, vol. 15, no. 1, Feb. 2014, p. 61, doi:10.7494/csci.2014.15.1.61.