@InProceedings{Winder88, title = "{P}arallel processing with the disputer", author= "Winder, C. P.", editor= "Kerridge, Jon", pages = "31--44", booktitle= "{OUG}-8: {D}evelopments {U}sing {O}ccam", isbn= "90 5199 002 4", year= "1988", month= "feb", }