Kułkaowski, K. 2013. Concurrent systems modeling with CCL. Automatyka/Automatics. 16, 2 (Jul. 2013), 115. DOI:https://doi.org/10.7494/automat.2012.16.2.115.