In the SE, it claims that "This book was typeset in Times and Courier by the author". If I had to guess, he probably used LaTeX. Of course, the B3 book publisher probably wanted it in TuWord format, and, not knowing their ass from a hole-in-the-ground regarding technical content, decided to use the oh-so-k3wel Palatino font for the "examples".

(But I bet it's got a lot of "sizzle"...)