Kleene Modules

T. Ehm, B. Möller, G. Struth

published 2004 In R. Berghammer, B. Möller, G. Struth (eds.): Relational and Kleene-Algebraic Methods in Computer Science, LNCS 3051.
pp. 112-123, 2004.
Springer.