Boeken over Analyse Von Web Service-Spezifikationen Zur Unterst Tzung Von Transaktionen In Gesch Ftsprozessen