I have written up decent proofs of a lot of theorems about range voting http://math.temple.edu/~wds/crv/RVstrat.pdf http://math.temple.edu/~wds/crv/RVstrat.ps this also includes the first explanation of optimum strategy in a large variety of voting systems, includign COAF systems, range, Condorcet, and IRV. wds