1. Mario Bravetti, Gianluigi Zavattaro, Towards a unifying theory for choreography conformance and contract compliance, in: Proc. of 6th International Symposium on Software Composition, SC’07 2007
2. James Brenton, Carlos Caldas, Jim Davies, Steve Harris, Peter Maccallum, CancerGrid: Developing open standards for clinical cancer informatics, in: Proceedings of the UK e-science All Hands Meeting 2005, 2005, pp. 678–681
3. Marco Carbone, Kohei Honda, Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot, A Theoretical Basis of Communication-Centred Concurrent Programming, Technical Report, W3C, 2006
4. R. M. Dijkman, M. Dumas, C. Ouyang, Formal semantics and automated analysis of BPMN process models, Technical Report Preprint 5969, Queensland University of Technology 2007
5. Matthew B. Dwyer, George S. Avrunin, James C. Corbett, Patterns in property specifications for finite-state verification, in: Proceedings of the 21st International Conference on Software Engineering, 1999