1. Kenneth J Arrow, Amartya Sen, and Kotaro Suzumura. 2010. Handbook of Social Choice and Welfare . Vol. 2. Elsevier. Theories. Journal of Automated Reasoning 52, 2 (01 Feb 2014), 123–153.
2. Lawrence Blume, David Easley, Jon Kleinberg, Robert Kleinberg, and Éva Tardos. 2015. Introduction to computer science and economic theory. Journal of Economic Theory 156, Supplement C (2015), 1 – 13.
3. Marco B. Caminati, Manfred Kerber, Christoph Lange, and Colin Rowat. 2014. Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? Springer International Publishing, Cham, 236–251.
4. John C. Cox, Stephen A. Ross, and Mark Rubinstein. 1979. Option pricing: A simplified approach. Journal of Financial Economics 7, 3 (1979), 229 – 263.
5. Manuel Eberl. 2016. Randomised Social Choice Theory. Archive of Formal Proofs (May 2016). http://isa-afp.org/entries/Randomised_ Social_Choice.html, Formal proof development.