MLA

Dumas, Marlon, and Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2008.

APA

Dumas, M., & Heckel, R. (2008). Web Services and Formal Methods. Springer Berlin Heidelberg.

Chicago

Dumas, Marlon, and Reiko Heckel. Web Services and Formal Methods. : Springer Berlin Heidelberg, 2008.