Open Predicate Path Expressions and their Implementation in Highly Parallel Computing Environments. - Mark R. Headington; Arthur E. Oldehoeft (ICPP, 1985)

Introducing finite automata in the first course. - Mark R. Headington (SIGCSE, 1988)

Removing implementation details from C++ class declarations. - Mark R. Headington (SIGCSE, 1995)

A tool for teaching Petri nets. - Chao Mei; Xiaoyang Zhang; Wenfei Zhao; Kasi Periyasamy; Mark R. Headington (J. Comput. Sci. Coll., 2011)