MLA

Emilio Tuosto, Chun Ouyang, and Chun Ouyang. Web Services and Formal Methods. Springer International Publishing, 2014.

APA

Emilio Tuosto, C. Ouyang, & Ouyang, C. (2014). Web Services and Formal Methods. Springer International Publishing.

Chicago

Emilio Tuosto, Chun Ouyang, and Chun Ouyang. Web Services and Formal Methods. : Springer International Publishing, 2014.