1. CFD with Hybrid Symbolic-Numeric Methodology;42nd AIAA Aerospace Sciences Meeting and Exhibit;2004-01-05
2. Expert Systems in Cognitive Science;International Encyclopedia of the Social & Behavioral Sciences;2001
3. The beginning and development of FORMAC;History of programming languages---II;1996-01
4. The beginning and development of FORMAC (FORmula MAnipulation Compiler);ACM SIGPLAN Notices;1993-03
5. MACSYMA - the fifth year;ACM SIGSAM Bulletin;1974-08