Voting procedures - Dummett, Michael (Clarendon press, 1984)