1. 1) Abiteboul, S., et al.: Active XML: A Data-Centric Perspective on Web Services, BDA 2002 Proceedings (2002).
2. 2) Antimirov, V.M. and Mosses, P.D.: Rewriting extended regular expressions, Theoretical Computer Science, Vol.143, No.1, pp.51-72 (1995).
3. 3) Antimirov, V.M.: Partial Derivatives of Regular Expressions and Finite Automata Constructions, Theoretical Computer Science, Vol.155, No.2, pp.291-319 (1996).
4. Coinductive Axiomatization of Recursive Type Equality and Subtyping
5. Derivatives of Regular Expressions