APA-Zitierstil (7. Ausg.)

Ancona, D., Barbieri, P., & Zucca, E. (2023). Checked corecursive streams: Expressivity and completeness. Theoretical computer science, 974, 114081. https://doi.org/10.1016/j.tcs.2023.114081

Chicago-Zitierstil (17. Ausg.)

Ancona, Davide, Pietro Barbieri, und Elena Zucca. "Checked Corecursive Streams: Expressivity and Completeness." Theoretical Computer Science 974 (2023): 114081. https://doi.org/10.1016/j.tcs.2023.114081.

MLA-Zitierstil (9. Ausg.)

Ancona, Davide, et al. "Checked Corecursive Streams: Expressivity and Completeness." Theoretical Computer Science, vol. 974, 2023, p. 114081, https://doi.org/10.1016/j.tcs.2023.114081.