1. A. V. Aho, J. E. Hopcroft and J. D. Ullman,The design and analysis of computer algorithms. Addison-Wesley, Reading, Mass., 1974.
2. J. W. Backus,The syntax and semantics of the proposed international algebraic language of the Zürich ACM-GAMM conference, Proc. International Conf. on Information Processing, UNESCO, 1959, pp. 125–132.
3. J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (ed.), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden and M. Woodger,Revised report on the algorithmic language ALGOL 60, Comm. ACM 6, 1 (1963, January), 1–17; Computer Journal 5, 349–367; Num. Math. 2, 106–136.
4. R. M. de Morgan, I. D. Hill and B. A. Wichman,Modified report on the algorithmic language ALGOL 60, Computer Journal 19 (1976), 364–379.
5. C. F. Gauss,Theorematis arithmetici — demonstratio nova, Commentationes Societatis Regiæ Scientiarum Gottingensis, Vol. 16, Göttingen, 1808;Werke, 1876, Bd. 2, pp. 1–8;English translation in D. E. Smith, A Source Book in Mathematics, Vol. 1, Dover, New York, 1959, pp. 112–118.