Kułkaowski, K. “Concurrent Systems Modeling With CCL”. Automatyka/Automatics, vol. 16, no. 2, July 2013, p. 115, doi:10.7494/automat.2012.16.2.115.