Michael Mendler, Terry Stroup. Newtonian Arbiters Cannot be Proven Correct. Formal Methods in System Design, 3(3):233-257, 1993.
@article{MendlerS93, title = {Newtonian Arbiters Cannot be Proven Correct}, author = {Michael Mendler and Terry Stroup}, year = {1993}, researchr = {https://researchr.org/publication/MendlerS93}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {3}, number = {3}, pages = {233-257}, }