Proving Properties of Interacting Processes. - Glen E. Newton (Acta Informatica, 1974)

Teaching both PL/I and Fortran to beginners. - Glen E. Newton; J. Denbigh Starkey (SIGCSE, 1976)

Data abstraction in SESPOOL. - Glen E. Newton; J. Denbigh Starkey (ACM Annual Conference, 1977)

SESPOOL, A Language for Systems Programming. - Glen E. Newton; J. Denbigh Starkey (Comput. Lang., 1977)

Deadlock Prevention, detection, and Resolution: An Annotated Bibliography. - Glen E. Newton (ACM SIGOPS Oper. Syst. Rev., 1979)