T. Balopoulos, S. Gritzalis and S. Katsikas, “Specifying electronic Voting Protocols in Typed MSR”, in Proceedings of the ACM CCS 2005 Computer and Communications Security Conference – Workshop on Privacy in the Electronic Society (WPES), Alexandria, VA, USA, σελ. 35-39, 2005.