@inproceedings{Mitchell96a,
  author	= "Ian Mitchell and Mark Greenstreet",
  title		= "Proving {Newtonian} Arbiters Correct, Almost Surely",
  booktitle	= "Proceedings of the Third Workshop on
			    Designing Correct Circuits",
  month		= Sep,
  year		= 1996,
  address	= "B\aa{}stad, Sweden",
  publisher	= "Springer"
  note		= "url: {\tt
		    http://www.springer.co.uk/eWiC/Workshops/DCC96.html}"
}