Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor (1990) [pdf]research.microsoft.com10 pointsbrudgers11 years ago