Quelle  README.txt

Author: Paul Mukherjee


This model aims to model a single transferable voting system used for electronic 
voting. It is further described in the following papers:  
 
P. Mukherjee and B.A. Wichmann. Formal Specification of the STV Algorithm. In
M.G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods. Prentice
Hall, 1995.

Paul Mukherjee,  Automatic translation of VDM-SL specifications into gofer, 
Springer, Lecture Notes in Computer Science, Volume Volume 1313/1997 
Book FME '97: Industrial Applications and Strengthened Foundations of 
Formal Methods 


Language Version: vdm10