@misc{indiciaec4b27ec96ace,
  title = {The Sources of Certainty in Computation and Formal Systems},
  author = {Michael J. O'Donnell},
  year = {1999},
  url = {https://arxiv.org/abs/cs/9911010},
  note = {Source identifier: cs/9911010}
}