@inproceedings{PV04,
   author = {I.C.C. Phillips and M.G. Vigliotti},
   title = {Electoral systems in ambient calculi},
   booktitle = {Proceedings of 7th International Conference on Foundations of Software Science and Computation Structures, {FoSSaCS} 2004},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer-Verlag},
   volume = 2987,
   pages = {408-422},
   year = 2004
}