1. Arenas, M., Fan, W., Libkin, L.: On veriyfying consistency of XML specifications. In: Proc. ACM PODS, pp. 259–270. ACM, New York (2002)
2. De Bakker, J.: Control flow semantics. MIT Press, Cambridge (1995)
3. Buneman, P., Davidson, S., Fan, W., Hara, C.S., Tan, W.C.: Keys for XML. In: Proc. WWW 10, pp. 201–210. ACM Press, New York (2001)
4. Bjørner, D.: Software Engineering 2: Specification of systems and languages. Springer, Berlin (2006)
5. Lecture Notes in Computer Science;L. Bertossi,2003