The limits of correctness

Brian Cantwell Smith. The limits of correctness. SIGCAS Computers and Society, 14-15(4, 1-3):18-26, 1985. [doi]

@article{Smith85-5,
  title = {The limits of correctness},
  author = {Brian Cantwell Smith},
  year = {1985},
  doi = {10.1145/379486.379512},
  url = {http://doi.acm.org/10.1145/379486.379512},
  researchr = {https://researchr.org/publication/Smith85-5},
  cites = {0},
  citedby = {0},
  journal = {SIGCAS Computers and Society},
  volume = {14-15},
  number = {4, 1-3},
  pages = {18-26},
}