The canonical paper on this was written by De Millo, et al., but it has a rather ungrammatical and incomprehensible title that does it no favors. However, the a

The canonical paper on this was written by De Millo, et al., but it has a rather ungrammatical and incomprehensible title that does it no favors. However, the al. include Lipton and Perlis, so listen up... Social Processes and Proofs of Theorems and Programs https://dl.acm.org/doi/pdf/10.1145/359104.359106 https://dl.acm.org/doi/pdf/10.1145/359104.359106 [pdf]