1. Bowler, S., Grofman, B.: Elections in Australia, Ireland, and Malta under the Single Transferable Vote: Reflections on an embedded institution. University of Michigan Press (2000)
2. Coyle, L., Cunnigham, P., Doyle, D.: Appendix 2D - second report of commission on electronic voting in Ireland: Secrecy, accuracy and testing of the chosen electronic voting system: Reliability and accuracy of data inputs and outputs (December 2004)
3. Department of Environment and Local Government, Commission on Electronic Voting in Ireland. Count requirements and commentary on count rules (June 23, 2000)
4. Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: a theorem prover for program checking. Journal of the Association of Computing Machinery 52(3), 365–473 (2005)
5. https://github.com/jacoco