Backhouse, R. (2012). First-past-the-post games. In J. Gibbons, & P. Nogueira (Eds.), Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012: proceedings. Springer. https://doi.org/10.1007/978-3-642-31113-0_9