Coupling proofs are probabilistic product programs.

MLA

Barthe, Gilles, et al. “Coupling Proofs Are Probabilistic Product Programs.” ACM / SIGPLAN Notices, vol. 52, no. 1, Jan. 2017, pp. 161–74. EBSCOhost, https://doi.org/10.1145/3093333.3009896.

APA

Barthe, G., Grégoire, B., Hsu, J., & Strub, P.-Y. (2017). Coupling proofs are probabilistic product programs. ACM / SIGPLAN Notices, 52(1), 161–174. https://doi.org/10.1145/3093333.3009896

Chicago

Barthe, Gilles, Benjamin Grégoire, Justin Hsu, and Pierre-Yves Strub. 2017. “Coupling Proofs Are Probabilistic Product Programs.” ACM / SIGPLAN Notices 52 (1): 161–74. doi:10.1145/3093333.3009896.