This is the third part of a discussion on the argument. 1st part: http://www.ganssle.com/tem/tem301.html#article2 2nd part: http://www.ganssle.com/tem/tem302.html#article2

Subsequent defence of the Apollo software mentioned: http://www.ganssle.com/tem/tem304.html#article2 http://www.ganssle.com/tem/tem305.html#article3