1. Balcazar, J. L. and; Diaz, J. and; Gabarro. J.: Structural Complexity /, EATCS Monographs on Theoretical Computer Science vol. 11, Springer-Verlag, 1988
2. Banieqbal, B. and Barringer, H.: Temporal Logic with Fixed Points, in Temporal Logic in Specification, LNCS vol. 398, Springer-Verlag, 1989, pp. 62–74
3. Barringer, H. and; Kuiper, R. and Pnueli, A.: A Really Abstract Concurrent Model and its Temporal Logic, in Proc. of the 13th ACM POPL, 1986
4. Büchi, J. R.: On a Decision Method in Restricted Second-Order Arithmetics, in Proc. of the 1960 International Congress on Logic, Methodology and Philosophy of Science, Stanford University Press, 1962, pp. 1–12
5. Dickson, L. E.: Finiteness of the Odd Perfect and Primitive Abundant Numbers with Distinct Prime Factors, in Americal Journal of Mathematics, vol. 35, 1913, pp. 413–422