2
Nickolaos Kavantzas,
Oracle Corporation
Web Services & Formal Methods Workshop, Feb 2004
Web Services Choreography