Actor Induction and Meta-Evaluation. - Carl Hewitt; Peter Boehler Bishop; Irene Greif; Brian Cantwell Smith; Todd Matson; Richard Steiger (POPL, 1973)

Behavioral semantics of nonrecursive control structures. - Carl Hewitt; Peter Boehler Bishop; Richard Steiger; Irene Greif; Brian Cantwell Smith; Todd Matson; Roger Hale (Symposium on Programming, 1974)

Towards a Programming Apprentice. - Karl E. Hewitt; Brian Cantwell Smith (IEEE Trans. Software Eng., 1975)

Knowledge Representation. - Daniel G. Bobrow; Gary G. Hendrix; William A. Martin; John McCarthy 001; Allen Newell; Roger C. Schank; Brian Cantwell Smith; N. S. Sridharan (IJCAI, 1977)

Linguistic and Computational Semantics. - Brian Cantwell Smith (ACL, 1982)

Procedural reflection in programming languages. - Brian Cantwell Smith (1982)

Under What Conditions Can a Machine Attribute Meanings to Symbols. - Aaron Sloman; Drew V. McDermott; William A. Woods; Brian Cantwell Smith; Patrick J. Hayes (IJCAI, 1983)

The Implementation of Procedurally Reflective Languages. - Jim des Rivières; Brian Cantwell Smith (LISP and Functional Programming, 1984)

Reflection and Semantics in Lisp. - Brian Cantwell Smith (POPL, 1984)

Expert Systems: How Far Can They Go? - Terry Winograd; Randall Davis; Stuart Dreyfus; Brian Cantwell Smith (IJCAI, 1985)

The limits of correctness. - Brian Cantwell Smith (SIGCAS Comput. Soc., 1985)

Varieties of Self-Reference. - Brian Cantwell Smith (TARK, 1986)

The Owl and the Electric Encyclopedia. - Brian Cantwell Smith (Artif. Intell., 1991)

Limits of Correctness in Computers. - Brian Cantwell Smith (Program Verification, 1993)

On the origin of objects. - Brian Cantwell Smith (MIT Press, 1996)

Limits of Correctness in Computers. - Brian Cantwell Smith (Computerization and Controversy, 2nd Ed., 1996)