この博士論文は、1969年から1983年にかけて彼の監督下でmitで作成された数式処理プログラムmacsymaの基盤となった。