Vardi, Moshe Y. (1982). "The Complexity of Relational Query Languages". STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing. pp. 137–146. doi:10.1145/800070.802186.
Immerman, Neil (1982). "Relational Queries Computable in Polynomial Time". STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing. pp. 147–152. doi:10.1145/800070.802187. Revised version in Information and Control, 68 (1986), 86–104.
Rabin 1967. Rabin, Michael O. (1967). "Mathematical theory of automata". Mathematical Aspects of Computer Science. Proceedings of Symposia in Applied Mathematics. Vol. 19. American Mathematical Society. pp. 153–175. doi:10.1090/psapm/019.