Specialization of SARA for software synthesis. - Ivan M. Campos; Gerald Estrin (Design Automation and Microprocessors, 1977)

SARA aided design of software for concurrent systems. - Ivan M. Campos; Gerald Estrin (AFIPS National Computer Conference, 1978)

Concurrent Software System Design, Supported by SARA at the Age of One. - Ivan M. Campos; Gerald Estrin (ICSE, 1978)

Interfaces as specifications in the MIDAS user interface development systems. - Regina Helena B. Cabral; Ivan M. Campos; Donald D. Cowan; Carlos J. P. Lucena (ACM SIGSOFT Softw. Eng. Notes, 1990)