Armin B. Cremers Thomas N. Hibbard Applicative State Transition Systems in LISP-Like Notation. 51-66 1983 conf/gi/1983 GI Jahrestagung db/conf/gi/gi83.html#CremersH83