APA (7th ed.) Citation

Kapus, T. (2020). Specifying reversibility with TLA+. Journal of logical and algebraic methods in programming, 116, 100582. https://doi.org/10.1016/j.jlamp.2020.100582

Chicago Style (17th ed.) Citation

Kapus, Tatjana. "Specifying Reversibility with TLA+." Journal of Logical and Algebraic Methods in Programming 116 (2020): 100582. https://doi.org/10.1016/j.jlamp.2020.100582.

MLA (9th ed.) Citation

Kapus, Tatjana. "Specifying Reversibility with TLA+." Journal of Logical and Algebraic Methods in Programming, vol. 116, 2020, p. 100582, https://doi.org/10.1016/j.jlamp.2020.100582.