Wagemaker, J; Bonsangue, M; Kappé, T; Rot, J; Silva, A; (2019) Completeness and Incompleteness of Synchronous Kleene Algebra. In: Mathematics of Program Construction. (pp. pp. 385-413). Springer: Cham, Switzerland.