Inconsistencies of pure LISP. - Andreas Eick; Elfriede Fehr (Theoretical Computer Science, 1983)