Parallel Programming: An Axiomatic Approach
C.A.R. Hoare
Journal
Computer Languages
Month
June
Number
2
Pages
151–160
Volume
1
Year
1975
C.A.R. Hoare