Formal Specification of the Assurance Point Web Service Composition Model. - Le Gao; Susan Darling Urban; Jonathan Rodriguez 003; Abhijit Warkhade (Int. J. Cooperative Inf. Syst., 2014)