Kułkaowski, K. (2013) “Concurrent systems modeling with CCL”, Automatyka/Automatics, 16(2), p. 115. doi: 10.7494/automat.2012.16.2.115.