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)