1. Regular Algebra and Finite Machines;Conway,1971
2. Modal Kleene Algebra and Applications — A Survey;Desharnais;Journal on Relational Methods in Computer Science,2004
3. Termination in modal Kleene algebra;Desharnais,2004
4. Kleene algebra with domain;Desharnais;ACM Trans. Computational Logic,2006
5. Proactively composing web services as tasks by semantic web agents;Ermolayev,2007