Programming language structures

Compiling LISP procedures

ACM SIGART Bulletin

Compiling LISP procedures

ACM SIGSMALL/PC Notes

The contour model as an instructional tool in elementary computer science courses

SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education

Using the Synthesizer-Generator to teach principles of programming language semantics

SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education

A visual execution model for Ada tasking

ACM Transactions on Software Engineering and Methodology (TOSEM)

Task dependence and termination in Ada

ACM Transactions on Software Engineering and Methodology (TOSEM)

Using contour diagrams and JIVE to illustrate object-oriented semantics in the Java programming language

Proceedings of the 41st ACM technical symposium on Computer science education