The Mackenzie book chapter discusses both the Fetzer and DeMillo Lipton Perlis controversies.
It's really interesting that the debate got into the questions like, can one formally verify a bridge?