[1] J. Andel: On interactions in contingency tables. Aplikace matematiky 18 (1973), 99-109. MR 0375629 | Zbl 0259.62051

[2] G. Aussiello M. Protasi: On the comparison of notions of approximation. Mathematical Foundations of Computer Science 75 (ed. J. Bečvář), Lecture Notes in Computer Science 32, Springer Heidelberg 1975, 172-178. MR 0389571

[3] COMPSTAT 74 - Proceedings in Computational Statistics. Ed. G. Bruckmann, F. Ferschl, L. Schmetterer, Physica Verlag, Wien 1974. MR 0345251

[4] B. P. Demidovich I. A. Maron: Computational mathematics. Mir, Moskva 1973. MR 0347036

[5] W. Freiberger U. Grenader: A short course in computational probability and statistics. Applied mathematical science 6, Springer, New York 1971.

[6] P. Hájek: Problém obecného pojetí metody GUHA. Kybernetika 4 (1968), 505-515.

[7] P. Hájek: Automatic listing of important observational statements I-III. Kybernetika 9 (1973) and 10 (1974), 187-205, 251-271, 95-124. MR 0401460

[8] P. Hájek: On logic of discovery. Mathematical Foundations of Computer Science 75 (ed. J. Bečvář), Lecture Notes in Computer Science 32, Springer, Heidelberg 1975, 30-45. MR 0411942

[9] P. Hájek I. Havel M. Chytil: GUHA - a method of automatic determination of hypotheses I, II. Kybernetika 2 (1966) and 3 (1967), 31-47, 430-437. MR 0202606

[10] P. Hájek T. Havránek: Mechanized Hypothesis Formation. Book in preparation.

[11] T. Havránek: The approximation problem in computational statistics. Mathematical Foundations of Computer Science (ed. J. Bečvář), Lecture Notes in Computer Science 32, Springer, Heidelberg 1975, 258-265. MR 0428802

[12] S. C. Kleene: Mathematical logic. J. Wiley, New York 1967. MR 0216930 | Zbl 0149.24309

[13] W. Miller: Toward abstract numerical analysis. Journal of ACM 20 (1973), 399-408. MR 0494815 | Zbl 0277.68020

[14] J. G. Oxtoby: Measure and category. Springer, Heidelberg 1971. Zbl 0217.09201

[15] A. J. van Reeken: Report of the Dutch working party on statistical computing. Applied Statistics (JRSS-C) 20 (1971), 73-79.

[16] A. Ralston H. S. Wilf, ed.: Mathematical methods for digital computers. J. Wiley, New York, vol. I 1960, vol. II 1967. MR 0117906

[17] A. Ralston: First course in numerical analysis. McGraw-Hill, New York 1965. MR 0191070 | Zbl 0139.31603

[18] M. Rogers: Theory of recursive functions and effective computability. McGraw-Hill, New York 1967. MR 0224462 | Zbl 0183.01401

[19] V. Strassen: Evaluation of rational functions. In: Complexity of Computations (R. E. Miller, J. W. Thatcher, eds.), Plenum Press, New York. 1972, 1-10. MR 0395328