Tobias Kappé: Concurrent Kleene Algebra: completeness and decidability. University College London, UK 2020