APA (7th ed.) Citation

Barthe, G., Crespo, J. M., & Kunz, C. (2016). Product programs and relational program logics. Journal of logical and algebraic methods in programming, 85(5), 847-859. https://doi.org/10.1016/j.jlamp.2016.05.004

Chicago Style (17th ed.) Citation

Barthe, Gilles, Juan Manuel Crespo, and César Kunz. "Product Programs and Relational Program Logics." Journal of Logical and Algebraic Methods in Programming 85, no. 5 (2016): 847-859. https://doi.org/10.1016/j.jlamp.2016.05.004.

MLA (9th ed.) Citation

Barthe, Gilles, et al. "Product Programs and Relational Program Logics." Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 5, 2016, pp. 847-859, https://doi.org/10.1016/j.jlamp.2016.05.004.