Lamort Clocks: Reasoning About Shared Memory Correctness - Sorin, Daniel; Plakal, Manoj; Hill, Mark; Condon, Anne (University of Wisconsin-Madison Department of Computer Sciences, 1998)