SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. - E. R. Anderson 001; Frank C. Belz; Edward K. Blum (Acta Informatica, 1976)

Issues in the Formal Specifications of Programming Languages. - Eric R. Anderson 001; Frank C. Belz; Edward K. Blum (Formal Description of Programming Concepts, 1977)

Extending an implementation language to a specification language. - E. R. Anderson 001; Frank C. Belz; Edward K. Blum (Mathematical Studies of Information Processing, 1978)

Ada's Suitability for Trusted Computer Systems. - E. R. Anderson 001 (S&P, 1985)

Specification and Verification of the ASOS Kernel. - Ben L. Di Vito; Paul H. Palmquist; Eric R. Anderson 001; Michael L. Johnston (S&P, 1990)

Secure system architectures and integration. - Amy Wu; Eric R. Anderson 001; Cristi Garvey (ACSAC, 1992)