[ACM] CACM 28(04) (April 1985)

(1957) Communications of the ACM  

Wolfram, Stephen (1985) Wolfram, Stephen "Symbolic Mathematical Computation"