1. OASIS. Election markup language (EML) v5.0 (2007),
http://www.oasis-open.org/specs/index.php#eml5.0
2. CalTech/MIT Voting Technology Project. Voting: What is, what could be. Technical report (July 2001),
http://www.vote.caltech.edu/2001report.htm
3. Rivest, R.L., Wack, J.P.: On the notion of “software independence” in voting systems, July 28 (2006),
http://vote.nist.gov/SI-in-voting.pdf
4. TDC. Voluntary voting system guidelines,
http://www.eac.gov/vvsg
5. Yee, K.-P.: Building Reliable Voting Machine Software. PhD thesis, U.C. Berkeley EECS Dept. (2007);