On Formal and Informal Proofs for Program Correctness

Karel CulĂ­k. On Formal and Informal Proofs for Program Correctness. SIGPLAN Notices, 18(1):23-28, 1983.