Joseph R. Kiniry Alan E. Morkan Dermot Cochran Martijn Oostdijk Engelbert Hubbers Formal techniques in a remote voting system. 1-2 2006 31 ACM SIGSOFT Software Engineering Notes 6 http://doi.acm.org/10.1145/1218776.1218793 db/journals/sigsoft/sigsoft31.html#KiniryMCOH06