De Millo R.A., Lipton R. J., Perlis A.J. (1980) Social Processes and Proofs of Theorems and Programs. The Mathematical Intelligencer 1(3) 31-40.
Bourdieu P. (1977) Outline of a Theory of Practice. Cambridge: Cambridge University Press.
Bourdieu P. (1990) The Logic of Practice. Cambridge: Polity Press.
MacKenzie D. (1999) Slaying the kraken: The sociohistory of a mathematical proof. Social Studies of Science 29(1) 7-60.