1. S. Abiteboul and V. Vianu, Generic computation and its complexity, in: Proc. 23rd ACM Symp. on Theory of Computing, Association for Computing Machinery, New York, 1991, 209–219.
2. S. Abiteboul, K. J. Compton, and V. Vianu, Queries are easier than you thought, probably, in: Proc. 11th ACM Symp. on Principles of Database Systems, Association for Computing Machinery, New York, 1992, 32–42.
3. J. Barwise, On Moschovakis closure ordinals, J Symbolic Logic
42 (1977), 292–296.
4. A. Blass, Y. Gurevich, and D. Kozen, A zero-one law for logic with a fixed point operator, Inform. and Control
67 (1985), 70–90.
5. B. Bollobâs, Random Graphs, Academic Press, London, 1985.