Verifiable secure operating system software. - Gerald J. Popek; Charles S. Kline (AFIPS National Computer Conference, 1974)

A verifiable protection system. - Gerald J. Popek; Charles S. Kline (Reliable Software, 1975)

The PDP-11 Virtual Machine Architecture: A Case Study. - Gerald J. Popek; Charles S. Kline (SOSP, 1975)

Issues in Kernel Design. - Gerald J. Popek; Charles S. Kline (Advanced Course: Operating Systems, 1978)

Design Issues for Secure Computer Networks. - Gerald J. Popek; Charles S. Kline (Advanced Course: Operating Systems, 1978)

Public key vs. conventional key encryption. - Charles S. Kline; Gerald J. Popek (MARK, 1979)

UCLA Secure Unix. - Gerald J. Popek; Mark Kampe; Charles S. Kline; Allen Stoughton; Michael Urban; Evelyn Walton (MARK, 1979)

Encryption and Secure Computer Networks. - Gerald J. Popek; Charles S. Kline (ACM Comput. Surv., 1979)

Detection of Mutual Inconsitency in Distributed Systems. - Douglas Stott Parker Jr.; Gerald J. Popek; Gerard Rudisin; Allen Stoughton; Bruce J. Walker; Evelyn Walton; Johanna M. Chow; David A. Edwards; Stephen Kiser; Charles S. Kline (Berkeley Workshop, 1981)

LOCUS - A Network Transparent, High Reliability Distributed System. - Gerald J. Popek; Bruce J. Walker; Johanna M. Chow; David A. Edwards; Charles S. Kline; Gerard Rudisin; Greg Thiel (SOSP, 1981)

The LOCUS Distributed Operating System. - Bruce J. Walker; Gerald J. Popek; Robert English; Charles S. Kline; Greg Thiel (SOSP, 1983)

Detection of Mutual Inconsistency in Distributed Systems. - Douglas Stott Parker Jr.; Gerald J. Popek; Gerard Rudisin; Allen Stoughton; Bruce J. Walker; Evelyn Walton; Johanna M. Chow; David A. Edwards; Stephen Kiser; Charles S. Kline (IEEE Trans. Software Eng., 1983)