Dumas, M., & Heckel, R. (2020). Web Services and Formal Methods. Springer Berlin Heidelberg.
Chicago-tyylinen lähdeviittausDumas, Marlon, ja Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2020.
MLA-viiteDumas, Marlon, ja Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2020.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.