A course in mathematical logic. - John L. Bell; Moshé Machover (North-Holland, 1977)

Ternary voting games. - Dan S. Felsenthal; Moshé Machover (Int. J. Game Theory, 1997)

The Treaty of Nice and qualified majority voting. - Dan S. Felsenthal; Moshé Machover (Soc. Choice Welf., 2001)

Annexations and alliances: When are blocs advantageous a priori? - Dan S. Felsenthal; Moshé Machover (Soc. Choice Welf., 2002)

L.S. Penrose's limit theorem: proof of some special cases. - Ines Lindner; Moshé Machover (Math. Soc. Sci., 2004)

Analysis of QM rules in the draft constitution for Europe proposed by the European Convention, 2003. - Dan S. Felsenthal; Moshé Machover (Soc. Choice Welf., 2004)

Voting power measurement: a story of misreinvention. - Dan S. Felsenthal; Moshé Machover (Soc. Choice Welf., 2005)

L S Penrose's limit theorem: Tests by simulation. - Pao-Li Chang; Vincent C. H. Chua; Moshé Machover (Math. Soc. Sci., 2006)

Mathematical structures of simple voting games. - Moshé Machover; Simon D. Terrington (Math. Soc. Sci., 2014)