Formal Modeling in a Generalized Framework for Access Control. - Leonard J. LaPadula (CSFW, 1990)

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

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

Prospect on security paradigms. - Leonard J. LaPadula (NSPW, 1993)

External consistency in a network environment. - Leonard J. LaPadula; 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 Rule-Set Approach to Formal Modeling of a Trusted Computer System. - Leonard J. LaPadula (Comput. Syst., 1994)

Secure Computer Systems: A Mathematical Model, Volume II. - David Elliott Bell; Leonard J. LaPadula (J. Comput. Secur., 1996)