Rajeev Goré, Ekaterina Lebedeva. Simulating STV Hand-Counting by Computers Considered Harmful: A.C.T. In Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole J. Goodman, Peter Y. A. Ryan, Vanessa Teague, editors, Electronic Voting - First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Volume 10141 of Lecture Notes in Computer Science, pages 144-163, Springer, 2016. [doi]