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