Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (2006)