An Axiomatic Basis for Computer Programming

C. A. R. Hoare. An Axiomatic Basis for Computer Programming (pdf)

Video

Articles

References