Alternative Semantics for McCarthy's amb. - William D. Clinger; Charles Halpern (Seminar on Concurrency, 1984)

TXL: A Rapid Prototyping System for Programming Language Dialects. - James R. Cordy; Charles D. Halpern-Hamu; Eric Promislow (Comput. Lang., 1991)

Direct manipulation through robots, by the physically disabled. - Charles D. Halpern-Hamu (1993)