1. A. S. Aiken. Compaction-based parallelization. PhD thesis, Dept. of Computer Science, Cornell University, August 1988.
2. J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren. Conversion of control dependence to data dependence. In Conference Record of the Tenth Annual ACM Symposium on the Principles of Programming Languages, Austin, TX, January 1983.
3. H.P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, VOLUME 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, The Netherlands, 1984.
4. R. Cytron and J. Ferrante. What’s in a name? or the value of renaming for parallelism detection and storage aladdress. In Proceedings of the 1987 International Conference on Parallel Processing, St. Charles, IL, August 1987.
5. K. Ebcioğlu. Some design ideas for a VLIW architecture for sequential-natured software. In Proceedings of IFIP WG 10.3 Working Conference on Parallel Processing, pages 3–21, North-Holland, April 1988.