Applicative State Transition Systems in LISP-Like Notation

Armin B. Cremers, Thomas N. Hibbard. Applicative State Transition Systems in LISP-Like Notation. In Ingbert Kupka, editor, GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings. Volume 73 of Informatik-Fachberichte, pages 51-66, Springer, 1983.

Abstract

Abstract is missing.