Soundness and completeness warnings in ESC/Java2. - Joseph R. Kiniry; Alan E. Morkan; Barry Denby (SAVCBS@FSE, 2006)

The KOA Remote Voting System: A Summary of Work to Date. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Fintan Fairmichael; Patrice Chalin; Martijn Oostdijk; Engelbert Hubbers (TGC, 2006)

Formal techniques in a remote voting system. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Martijn Oostdijk; Engelbert Hubbers (ACM SIGSOFT Softw. Eng. Notes, 2006)