1. Aho, A., Hopcroft, J., Ullman, J.. Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
2. Allen, F. E., Cocke, J., and Kennedy, K. Reduction of Operator Strength. In Program Flow Analysis, Muchnick, S., Jones, N., Eds., Prentice Hall, 1981, pp. 79–101.
3. Armstrong, W. Dependency Structures of Data Base Relationships. Proc. 1974 IFIP Congress, Amsterdam, 1974, pp. 580–583.
4. Bates, J., Constable, R. “Proofs as Programs”. ACM TOPLAS 7, 2 (Jan. 1985), 113–136.
5. Bauer, F. L., Wossner, H.. Algorithmic Language and Program Development. Springer-Verlag, Berlin, 1982.