Bagnall, A.; Merten, S.; Stewart, G. A Library for Algorithmic Game Theory in Ssreflect/Coq. JFR 2017, 10, 67-95.