1. Brown, W.S., Hyde, J.P. and Tague, B.A. (1964), The ALPAK System for Non-numerical Algebra on a Digital Computer — II. Bell System Technical Journal, 1964, 43(2), pp. 785–804.
2. Bundy, A. and Welham, B. (1981), Using Meta-level Inference for Selective Application of Multiple Rewrite Rules. Artificial Intelligence, 1981, 16(2), pp. 189–211.
3. Bundy, A. (1983), The Computer Modeling of Mathematical Reasoning, Academic Press.
4. Hearn, A. (1987), The REDUCE User's Manual — Version 3.3. Rand Publication CP78 (Rev. 7/87), July 1987.
5. Lewis, C. (1981), Skill in Algebra. In J.R. Anderson (Ed.), Cognitive Skills and Their Acquisition, Lawrence Erlbaum Associates, Hillsdale, New Jersey.