1. A calculus for cryptographic protocols: the spi calculus;Abadi;Inform. Comput.,1999
2. Data on the Web: From Relations to Semistructured Data and XML;Abiteboul,2000
3. Lucia Acciai, Michele Boreale, XPi: a typed process calculus for XML messaging, in: Proc. of FMOODS’05, 2005.
4. Omar Benjelloun, Active XML: a data-centric perspective on Web services, Ph.D. Thesis, University of Paris XI, 2002.
5. Gavin Bierman, Peter Sewell, Iota: a concurrent XML scripting language with application to Home Area Networks, University of Cambridge Technical Report 557, 2003.