BAGNALL, A.; MERTEN, S.; STEWART, G. A Library for Algorithmic Game Theory in Ssreflect/Coq. Journal of Formalized Reasoning, [S. l.], v. 10, n. 1, p. 67–95, 2017. DOI: 10.6092/issn.1972-5787/7235. Disponível em: https://jfr.unibo.it/article/view/7235. Acesso em: 29 sep. 2022.