APA (7th ed.) Citation

Lanese, I., Nishida, N., Palacios, A., & Vidal, G. (2018). A theory of reversibility for Erlang. Journal of logical and algebraic methods in programming, 100, 71-97. https://doi.org/10.1016/j.jlamp.2018.06.004

Chicago Style (17th ed.) Citation

Lanese, Ivan, Naoki Nishida, Adrián Palacios, and Germán Vidal. "A Theory of Reversibility for Erlang." Journal of Logical and Algebraic Methods in Programming 100 (2018): 71-97. https://doi.org/10.1016/j.jlamp.2018.06.004.

MLA (9th ed.) Citation

Lanese, Ivan, et al. "A Theory of Reversibility for Erlang." Journal of Logical and Algebraic Methods in Programming, vol. 100, 2018, pp. 71-97, https://doi.org/10.1016/j.jlamp.2018.06.004.