James C. King: On Generating Verification Conditions for Correctness Proofs. Fachtagung über Programmiersprachen 1976: 253-267