The automation of proof: A historical and sociological exploration (1995)

by D MacKenzie
Venue:IEEE Annals of the History of Computing