The Concept of Weak Substitution in Theorem-Proving. - Rona B. Stillman (J. ACM, 1973)

Simple Transforms for Instrumenting FORTRAN Decks. - Gordon Lyon; Rona B. Stillman (Softw. Pract. Exp., 1975)

Computer Security and Networking Protocols: Technical Issues in Military Data Communications Networks. - Rona B. Stillman; Casper R. DeFiore (IEEE Trans. Commun., 1980)