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