1980

Making a program’s promises explicit

Specifications and disciplined design connect instructions with their meaning.