1. N. Alon, J. Spencer, & P. Erdős. The Probabilistic Method. Wiley and Sons, 1992.
2. P. Dolan. A zero-one law for a random subset. Random Structures & Algorithms, 2:317–326, 1991.
3. H. Ebbinghaus & J. Flum. Finite Model Theory. Springer, Berlin, 1995.
4. R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In Complexity of Computation, SIAM-AMS Proceedings, pages 43–73, 1974.
5. E. Graedel. Subclasses of Presburger arithmetic and the polynomial-time hierarchy. Theoretical Computer Science, 56:289–301, 1988.