The Tree Machine: A Highly Concurrent Computing Environment. - Sally Browning (1980)

Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol. - Sally Browning; Philip Weaver (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)