Dumas, M., & Heckel, R. (2020). Web Services and Formal Methods. Springer Berlin Heidelberg.
Čikaški stil citiranjaDumas, Marlon, i Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2020.
MLA način citiranjaDumas, Marlon, i Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2020.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.