C. A. R. Hoare. Parallel programming: an axiomatic approach. In Friedrich L. Bauer, Klaus Samelson, editors, Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Volume 46 of Lecture Notes in Computer Science, pages 11-42, Springer, 1975.
Abstract is missing.