1. Birbeck, M., Ozu, N., et al.: Professional XML, 2nd edn., Wrox (2001)
2. Bonner, A., Kifer, M.: Transaction Logic Programming. Technical Report CSRI-323. Computer Systems Research Institute, University of Toronto (1995)
3. Bonner, A., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming, Bonn, MIT Press, Cambridge (1996)
4. Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for High-Order Logic Programming. Journal of Logic Programming 15(3), 187–230 (1993)
5. Clark, T., Evans, A., Kent, S.: A Metamodel for Package Extension with Renaming. In: International Conference on the Unified Modeling Language, pp. 305–320 (2002)