Lisa Higham, Jalal Kawash: Can Out-of-Order Instruction Execution in Multiprocessors Be Made Sequentially Consistent?. NPC 2005: 261-265