Jules Desharnais, Bernhard Möller: Non-associative Kleene Algebra and Temporal Logics. RAMiCS 2017: 93-108