An axiomatic approach to computer programming (1969)

by C A R Hoare
Venue:Int. Conf. Softw