Bagnall, A., S. Merten, and G. Stewart. “A Library for Algorithmic Game Theory in Ssreflect/Coq”. Journal of Formalized Reasoning, vol. 10, no. 1, Jan. 2017, pp. 67-95, doi:10.6092/issn.1972-5787/7235.