Michael Poppleton. The Single Transferable Voting System: Functional Decomposition in Formal Specification. In Henry McGloughlin, Gerard O Regan, editors, 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing, BCS, 1997.
@inproceedings{Poppleton97,
title = {The Single Transferable Voting System: Functional Decomposition in Formal Specification},
author = {Michael Poppleton},
year = {1997},
researchr = {https://researchr.org/publication/Poppleton97},
cites = {0},
citedby = {0},
booktitle = {1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997},
editor = {Henry McGloughlin and Gerard O Regan},
series = {Workshops in Computing},
publisher = {BCS},
}