Kappe, T; Brunet, P; Rot, J; Silva, A; Wagemaker, J; Zanasi, F; (2019) Kleene Algebra with Observations. In: Proceedings of the 30th International Conference on Concurrency Theory (CONCUR 2019). (pp. 41:1 -41:16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany.