Parallel Program Correctness Through Refinement.

Thomas W. Doeppner Jr.

Browse the full POPL paper archive.