Richard J. Fateman A Review of Macsyma. 133-145 TKDE1/P0133.pdf 1989 1 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde1.html#Fateman89 http://doi.ieeecomputersociety.org/10.1109/69.43409 books/mit/AbelsonS85 journals/toms/Brent78 ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... journals/cacm/Moses71 ... ... journals/jsc/PavelleW85 ... conf/popl/Pratt73 ... ... ... ... ... ... journals/toms/WyattLO76 journals/jsc/YoungW87