[YHR]: - W. Yang, S. Horwitz, T. Reps - Detecting program components with equivalent behaviors - Tech Report 840, Department of Computer Science, University of Wisconsin at Madison, Madison, April 1989 [CF]: - R. Cytron, J. Ferrante - Efficiently Computing Φ-Nodes On-The-Fly   - ACM Transactions on Programming Languages and Systems, Vol.17, No.3, May 1995, pp. 487-506 [CF2]: - R. Cytron, J. Ferrante - What‘s in a name? - Proceedings of the 1987 International Conference on Parallel Processing, August 1987, pp. 19-27 [RL]: - J. H. Reif, H. R. Lewis - Efficient symbolic analysis of programs - J. Comput. Syst. Sci. 32, June 1986, pp. 280-313 [CorEtAl]: - T. H. Cormen, C. E. Leiserson, R. L. Rivest - Introduction to Algorithms - The MIT Press, Cambridge, Mass., 1990 [AEtAl]: - A. Aho, J. Hopcroft, J. Ullman - The Design and Analysis of Computer Algorithms - Addison-Wesley, Reading, Mass., 1974 Simone Forster   13 02.6.2003