APA-Zitierstil (7. Ausg.)

Haeri, S. H., Van Roy, P., Apfelmus, H., Thompson, P. W., Davies, N. J., Haveraaen, M., . . . Šinkarovs, A. (2026). Algebraic reasoning for timeliness-guided system design. Journal of logical and algebraic methods in programming, 148, 101093. https://doi.org/10.1016/j.jlamp.2025.101093

Chicago-Zitierstil (17. Ausg.)

Haeri, Seyed Hossein, et al. "Algebraic Reasoning for Timeliness-guided System Design." Journal of Logical and Algebraic Methods in Programming 148 (2026): 101093. https://doi.org/10.1016/j.jlamp.2025.101093.

MLA-Zitierstil (9. Ausg.)

Haeri, Seyed Hossein, et al. "Algebraic Reasoning for Timeliness-guided System Design." Journal of Logical and Algebraic Methods in Programming, vol. 148, 2026, p. 101093, https://doi.org/10.1016/j.jlamp.2025.101093.