Lisa Higham, LillAnne Jackson, Jalal Kawash. Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture. In Shlomi Dolev, editor, Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Volume 4167 of Lecture Notes in Computer Science, pages 164-178, Springer, 2006. [doi]