1. Isomorphism and higher order equivalence;Ajtai;Ann. Math. Logic,1979
2. ∑11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
3. Sorting in clogn parallel steps;Ajtai;Combinatorica,1983
4. D.J. Aldous, J. Fill, Time-reversible Markov chains and random walks on graphs, in preparation
5. The Probabilistic Method;Alon,1992