An Overview of Some Formal Methods for Program Design (IEEE Computer Journal, 1987)

(untitled) - Hoare, C