EWD1300: The Notational Conventions I Adopted, and Why Edsger W. Dijkstra Original Paper Pages: 99 - 107
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming J. Dingel Original Paper Pages: 123 - 197