Computable Stack Functions for Semantics of Stack Programs.

Giorgio Germano Andrea Maggiolo-Schettini Computable Stack Functions for Semantics of Stack Programs. 133-144 1979 19 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss19.html#GermanoM79