The original article also calls out such praises in the paragraph starting with "The truth is that regrettably little history of computer science, whether dumb or deep, has been written by trained historians".

Let me reiterate one recommendation in particular, Mechanizing Proof, by Donald MacKenzie. This is a superb introduction to the technical subject of formal methods as well as a superb history! My only regret is that it was published in 2001 and a lot happened in the last decade.

http://mitpress.mit.edu/books/mechanizing-proof