Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar: A Formal Model of Business Application Integration from Web Services (Position Paper). SOFSEM 2009: 656-667