"An experiment in automatic verification of programs."

Gerald M. Weinberg, G. L. Gressett (1963)
a service of Schloss Dagstuhl - Leibniz Center for Informatics