S. Petrick. SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, Seite 224--237. New York, NY, USA, ACM Press, (1971)
A. Aho, und J. Ullman. STOC '69: Proceedings of the first annual ACM symposium on Theory of computing, Seite 93--112. New York, NY, USA, ACM Press, (1969)