José Machado, Francisco Andrade, José Neves, Paulo Novais, Cesar Analide. Formal Models in Web Based Contracting. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - Workshops, Hong Kong, China, 18-22 December 2006. pages 548-554, IEEE Computer Society, 2006. [doi]