Support for Distributed Transactions in the TABS Prototype. - Alfred Z. Spector; Jacob Butcher; Dean S. Daniels; Daniel J. Duchamp; Jeffrey L. Eppinger; Charles E. Fineman; Abdelsalam Heddaya; Peter M. Schwarz (IEEE Trans. Software Eng., 1985)

Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor. - Robert A. Ballance; Jacob Butcher; Susan L. Graham (PLDI, 1988)