Peter Jipsen: Concurrent Kleene Algebra with Tests. RAMiCS 2014: 37-48