Robert L. Glass, "Two Mistakes and Error-Free Software: A Confession", IEEE Software vol. 25 no. , p. 96, 95, , 2008