Anne Fitzpatrick;Mary Croarken
-;-
An axiomatic basis for computer programming
Communications of the ACM
First Page of the Article