Kappé, T; Brunet, P; Silva, A; Zanasi, F; (2018) Concurrent Kleene Algebra: Free Model and Completeness. In: Ahmed, A, (ed.) Programming Languages and Systems. (pp. pp. 856-882). Springer: Thessaloniki, Greece.