1. A calculus for cryptographic protocols: The spi calculus;Abadi;Information and Computation,1999
2. On bisimulation for the asynchronous π-calculus;Amadio,1997
3. T. Andrews, F. Curbera, S. Thatte, Business process execution language for web services, v1.1, 2003. http://ifr.sap.com/bpel4ws
4. V. Benzaken, G. Castagna, A. Frisch, Cduce: An XML-centric general-purpose language, in: Proceedings of the ACM International Conference on Functional Programming, 2003, pp. 51–63
5. G.M. Bierman, P. Sewell, Iota: A concurrent XML scripting language with applications to home area networking, Technical Report 577, University of Cambridge Computer Laboratory, 2003