Langeand Scalas. Choreography Synthesis as Contract Agreement. Open Publishing Association, Oct. 2013, doi:10.4204/eptcs.131.6.