Parallel Programming: an Axiomatic Approach. AIM-219.

purl.stanford.edu/st301gt1653