Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., & Strub, P.-Y. (2017). A Relational Logic for Higher-order Programs. Proceedings of the ACM on Programming Languages, 1: 21. doi:10.1145/3110265.