APA (7th ed.) Citation

Meyer, R., Wies, T., & Wolff, S. (2022). A concurrent program logic with a future and history. Proceedings of ACM on programming languages, 6(OOPSLA2), 1378-1407. https://doi.org/10.1145/3563337

Chicago Style (17th ed.) Citation

Meyer, Roland, Thomas Wies, and Sebastian Wolff. "A Concurrent Program Logic with a Future and History." Proceedings of ACM on Programming Languages 6, no. OOPSLA2 (2022): 1378-1407. https://doi.org/10.1145/3563337.

MLA (9th ed.) Citation

Meyer, Roland, et al. "A Concurrent Program Logic with a Future and History." Proceedings of ACM on Programming Languages, vol. 6, no. OOPSLA2, 2022, pp. 1378-1407, https://doi.org/10.1145/3563337.