A Brief Introduction to Smalltalk, ACM Sigplan Notices, 28(3):367-368, March 1993.
Generalized Arithmetic in C++, Journal of Object-Oriented Programming, Vol 3(6): 11-23 (February 1991).
LEDA - A Blending of Imperative and Relational Programming, IEEE Software, Vol 8(1), 58-65 (January 1991).
The Design of an Object Oriented Command Interpreter, Software -- Practice \& Experience, Vol 19(1), 35-51 (January 1989).
Time Space Tradeoffs in Vector Algorithms for APL Functions, Sigplan Notices, Vol 23(12), 63-68 (December 1988).
The Generator Paradigm in Smalltalk, The CWI Newsletter, Vol 10:2-18, (March 1986).
Creation and Reflexive Rights in Grammatical Protection Systems, Information Processing Letters, 21(3):141-145 (1985).
Program Testing by Specification Mutation, with Ajei Gopal. Computer Languages, Vol 10(1):63-73, (1985).
Dataflow Analysis in APL. APL Quote Quad, Vol 15(4): 22-28 (May 1985).
Extensions to Grid Selector Composition and Compilation in APL, with Joseph M. Treat. Information Processing Letters, Vol 19(3): 117-123, (Oct 1984).
The Design of an APL Compiler for a Vector Processor, ACM Transactions on Programming Languages and Systems, Vol 6(3): 297-312, (July 1984).
Safety in Grammatical Protection Systems, International Journal of Computer and Information Sciences, Vol 12(6): 413-431, (Dec. 1983).
An APL Compiler for the Unix Timesharing System. APL Quote Quad, Vol 13(3): 205-209 (March 1983).
Two Notions of Correctness and their Relation to Testing, with Dana Angluin. Acta Informatica, Vol 18: 31-45 (1982).
An Implementation of Generators in C. Computer Languages, Vol 7(2): 69-88 (1982).