Hearn, A. C. "The Problem of Substitution", Stanford University A1 Proj. Memo 70 1968

Languages mentioned

• REDUCE {1963}