Computation, symbolic - Yes, P. (1984)