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 ---- election-methods mailing list - see http://electorama.com/em for list info
