Ein neuer Interpreter-Algorithmus für LISP und seine Korrektheit - Woitok, Rainer (1975)