Dawar, Anuj, Feasible computation through model theory, Ph.D. thesis, Institute for Research in Cognitive Science University of Pennsylvania, Philadelphia, 1993.
Gurevich, Yuri, Logic and the challenge of computer science, Current trends in theoretical computer science (Börger, E., editor), Computer Science Press, 1988, pp. 1–57.
Immerman, Neil and Lander, E. S., Describing graphs: A first-order approach to graph canonization, Complexity theory retrospective (Selman, Alan, editor), Springer Verlag, 1990, pp. 59–81.
Stolboushkin, Alexei, Axiomatizable classes of finite models and definability of linear order, Proceedings of the 7th IEEE Annual Symposium on Logic in Computer Science (1992), pp. 64–70.
Weinstein, Scott, private correspondence, 10 1993.