Parallel Programming: an Axiomatic Approach. AIM-219

purl.stanford.edu/st301gt1653