Rainer Woitok

• Ein neuer Interpreter-Algorithmus für LISP und seine Korrektheit