Newcastle university technical report An accessible account of Pr t Voter can be found in The Computer Ate my Vote chapter to appear in Formal Methods State of the Art and New Directions Ed Paul Boca Springer 2007 also available as Newcastle University Technical Report 988 The given link does not work anymore and does not list any document with such a title either Any ideas The book appeared and if you have a SpringerLink account you can even read it online The mentioned chapter is authored by Peter Ryan himself