A Correctness Model for Pipelined Multiprocessors. - Phillip J. Windley; Michael L. Coe (TPCD, 1994)