\input zb-basic
\input zb-ioport
\iteman{io-port 70299023}
\itemau{Jacobs, Bart}
\itemti{Counting votes with formal methods}
\itemso{AMAST, 21-22 (2004).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-27815-3\_5}
\end