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}, }