Invited talk: Three Notions of Proof.

Peter Naur Invited talk: Three Notions of Proof. 97-101 1992 conf/ifip10-2/1992a Designing Correct Circuits db/conf/ifip10-2/ifip10-2-1992a.html#Naur92