1. Martin Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 2(82):253–284, 1991.
2. J.R. Allen, K. Kennedy, C. Porterfield, and J. Warren. Conversion of control dependence to data dependence. In The 10th ACM Symposium on Principles of Programming Languages, January 1983.
3. David Bistry, Carole Delong, Mickey Gutman, Michael Julier, Michael Keith, Lawrence M. Mennemeir, Millind Mittal, Alex D. Peleg, and Uri Weiser. The Complete Guide to MMX Technology. McGraw-Hill, 1997.
4. Jerry Burch and David Dill. Automatic verification of pipelined microprocessor control. In 6th International Conference of Computer Aided Verification, Stanford, California, June 1994.
5. Brian Case. IA-64’s static approach is controversial. Microprocessor Report, 11(16), 1997.