De Nicola, Rocco and Labella, Anna A Completeness Theorem for Nondeterministic Kleene Algebras. In: Mathematical Foundations of Computer Science 1994. Lecture Notes in Computer Science, 841 . Springer, pp. 536-545. ISBN 3-540-58338-6 (1994)