{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T09:42:33Z","timestamp":1746006153194},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229404"},{"type":"electronic","value":"9783642229411"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22941-1_9","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T12:23:14Z","timestamp":1314102194000},"page":"134-149","source":"Crossref","is-referenced-by-count":4,"title":["Testing with Functional Reference Implementations"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"40","volume":"105","author":"H. Aslaksen","year":"2006","unstructured":"Aslaksen, H., Mcguire, G.: Mathematical aspects of irish elections. Irish Mathematics Teachers Association Newsletter\u00a0105, 40\u201359 (2006)","journal-title":"Irish Mathematics Teachers Association Newsletter"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.2307\/2689808","volume":"56","author":"P.C. Fishburn","year":"1983","unstructured":"Fishburn, P.C., Brams, S.J.: Paradoxes of preferential voting. Mathematics Magazine\u00a056(4), 207\u2013214 (1983)","journal-title":"Mathematics Magazine"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/2339223","volume":"44","author":"H. Droop","year":"1881","unstructured":"Droop, H.: On methods of electing representatives. Journal of the Statistical Society of London\u00a044(2), 141\u2013202 (1881)","journal-title":"Journal of the Statistical Society of London"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-15009-0","volume-title":"Comparing electoral systems","author":"D.M. Farrell","year":"1997","unstructured":"Farrell, D.M.: Comparing electoral systems. Prentice Hall\/Harvester Wheatsheaf, London, New York (1997)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P. Koopman","year":"2003","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: generic automated software testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 84\u2013100. Springer, Heidelberg (2003)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11894100_2","volume-title":"Central European Functional Programming School","author":"P. Koopman","year":"2006","unstructured":"Koopman, P., Plasmeijer, R.: Fully automatic testing with functions as specifications. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol.\u00a04164, pp. 35\u201361. Springer, Heidelberg (2006)"},{"key":"9_CR7","unstructured":"Koopman, P., Plasmeijer, R.: Generic generation of elements of types. In: Proceedings of the 6th Symposium on Trends in Functional Programming, TFP 2005, Tallin, Estonia, September 23-24, pp. 163\u2013178. Intellect Books (2005) ISBN 978-1-84150-176-5"},{"key":"9_CR8","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean language report (version 2.0) (December 2001), http:\/\/www.cs.ru.nl\/~clean\/"},{"key":"9_CR9","unstructured":"The Electoral Commission. Vote Scotland, http:\/\/www.votescotland.com"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"The Scottish Ministers. Scottish local government elections order 2007. Rule 45\u201352 (2006)","DOI":"10.1258\/rsmsmj.52.3.45"},{"key":"9_CR11","unstructured":"Wikipedia. Single transferable vote, http:\/\/en.wikipedia.org\/wiki\/Single_transferable_vote"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22941-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T04:36:10Z","timestamp":1560486970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22941-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229404","9783642229411"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22941-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}