31. An Axiomatic Basis for Computer Programming

Author: C. A. R. Hoare

Original date: 1969

Back to Ideas That Created the Future