J. H. Griesmer;R. D. Jenks;David Y. Y. Yun
IBM Thomas J. Watson Research Center, Yorktown Heights, New York;IBM Thomas J. Watson Research Center, Yorktown Heights, New York;IBM Thomas J. Watson Research Center, Yorktown Heights, New York
Toward a formal implementation of computer algebra
ACM SIGSAM Bulletin
On the design of a mode-based symbolic system
SCRATCHPAD/360: reflections on a language design