Mechanical Proofs about Computer Programs: Discussion Wichmann, B. A. ; Good, D. I. Abstract Publication: Philosophical Transactions of the Royal Society of London Series A Pub Date: October 1984 Bibcode: 1984RSPTA.312..409W