Basin, D., Foster, N., Mc Millan, K.L., Namjoshi, K.S., Nita-Rotaru, C., Smith, J.M., Zave, P. und Zuck, L.D. (2025) „It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.“, Communications of the ACM, 68(8), S. 50-61. doi:10.1145/3706572.
Chicago Manual of Style 17th edition (full note)Basin, David, Nate Foster, Kenneth L. Mc Millan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, und Lenore D. Zuck. „It Takes a Village: Bridging the Gaps Between Current and Formal Specifications for Protocols.“. Communications of the ACM 68, Nr. 8 (1. August 2025): 50-61. https://doi.org/10.1145/3706572.
American Psychological Association 7th editionBasin, D., Foster, N., Mc Millan, K. L., Namjoshi, K. S., Nita-Rotaru, C., Smith, J. M., Zave, P., & Zuck, L. D. (2025). It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. Communications of the ACM, 68(8), 50-61. https://doi.org/10.1145/3706572
Modern Language Association 9th editionBasin, D., N. Foster, K. L. Mc Millan, K. S. Namjoshi, C. Nita-Rotaru, J. M. Smith, P. Zave, und L. D. Zuck. „It Takes a Village: Bridging the Gaps Between Current and Formal Specifications for Protocols.“. Communications of the ACM, Bd. 68, Nr. 8, August 2025, S. 50-61, https://doi.org/10.1145/3706572.
ISO-690 (author-date, Deutsch)BASIN, David, Nate FOSTER, Kenneth L. MCMILLAN, Kedar S. NAMJOSHI, Cristina NITA-ROTARU, Jonathan M. SMITH, Pamela ZAVE und Lenore D. ZUCK, 2025. It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. Communications of the ACM. 1 August 2025. Bd. 68, Nr. 8, S. 50-61. DOI 10.1145/3706572