Parallelprogramming-An axiomatic approach (1973)

by C A R Hoare
Venue:Stanford A. I. Lab.,Memo AIM-219