María Victoria Cengarle Luis Mandel Martin Wirsing Heiner Brand Klaus Däßler Thekla Schneider An Approach to the DIN Kernel Lisp Definition. 319-369 1992 4 Lisp and Symbolic Computation 4 db/journals/lisp/lisp4.html#CengarleMWBDS92