Stem sara$ (all stems)
- CC-2006-NandivadaP #named #stack
- SARA: Combining Stack Allocation and Register Allocation (VKN, JP), pp. 232–246.
- ICSE-1979-BerryP #design #specification
- The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology (DMB, MH(P), pp. 294–307.
- ICSE-1978-CamposE #concurrent #design
- Concurrent Software System Design, Supported by SARA at the Age of One (IMC, GE), pp. 230–242.