A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview. - J. C. Williams; George W. Dinolt (S&P, 1987)

Formal Model of a Trusted File Server. - J. C. Williams; George W. Dinolt (S&P, 1989)

Effects of auditory feedback on F0 trajectory generation. - Hideki Kawahara; Hiroko Kato; J. C. Williams (ICSLP, 1996)