PVS - design for a practical verification system. - Charles H. Applebaum; James G. Williams 002 (ACM Annual Conference, 1984)

The Practical Verification System Project. - James G. Williams 002; Charles H. Applebaum (ACM SIGSOFT Softw. Eng. Notes, 1985)

Components of verification technology. - James G. Williams 002 (ACM SIGSOFT Softw. Eng. Notes, 1985)

Defining Database Views as Data Abstractions. - Billy G. Claybrook; Anne-Marie Claybrook; James G. Williams 002 (IEEE Trans. Software Eng., 1985)

On the Formalization of Semantic Conventions. - James G. Williams 002 (J. Symb. Log., 1990)

Instantiation Theory - On the Foundations of Automated Deduction - James G. Williams 002 (Springer, 1991)

Toward a Universal Integrity Model. - Leonard J. LaPadula; James G. Williams 002 (CSFW, 1991)

Modeling Nondisclosure in Terms of the Subject-Instruction Stream. - James G. Williams 002 (S&P, 1991)

Automated Support for External Consistency. - James G. Williams 002; Leonard J. LaPadula (CSFW, 1993)

External consistency in a network environment. - Leonard J. LaPadula; James G. Williams 002 (NSPW, 1993)

A shift in security modeling paradigms. - James G. Williams 002 (NSPW, 1993)

Report of an integrity research study group. - Marshall D. Abrams; Edward Amoroso; Leonard J. LaPadula; Teresa F. Lunt; James G. Williams 002 (Comput. Secur., 1993)

A Fine-grained Access Control Model for Object-Oriented DBMSs. - Arnon Rosenthal; James G. Williams 002; William R. Herndon; Bhavani Thuraisingham (DBSec, 1994)