Specification-to-Code Correlation. - Jane Solomon (S&P, 1982)

A Layered TCB Implementation versus the Hinke-Schaefer Approach. - Cristi Garvey; Thomas H. Hinke; Nancy R. Jensen; Jane Solomon; Amy Wu (DBSec, 1989)

The Deductive Theory Manager: A Knowledge Based System for Formal Verification. - Ben L. Di Vito; Cristi Garvey; D. Kwong; A. Murray; Jane Solomon; Amy Wu (S&P, 1990)