1. Arrow, K.J.: Social Choice and Individual Values, 3rd edn. Yale University Press, New Haven (2012)
2. Baldwin, J.M.: The technique of the Nanson preferential majority system of election. Trans. Proc. R. Soc. Vic. 39, 42–52 (1926)
3. Beckert, B., Bormer, T., Kirsten, M., Neuber, T., Ulbrich, M.: Automated verification for functional and relational properties of voting rules. In: Sixth International Workshop on Computational Social Choice (COMSOC 2016) (2016)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Beckert,2013
5. Brandt, F., Conitzer, V., Endriss, U., Lang, J., Procaccia, A.D.: Handbook of Computational Social Choice. Cambridge University Press, Cambridge (2016)