1. Havránek T. and Hájek P., Mechanizing hypotheses formation — mathematical foundations of a general theory, Universitexte, Springer-Verlag, Heidelberg, 1978.
2. Havránek T., Albrecht V., Dvořák I., Jirků P. and Louvar B., Matematika pro biologické a lékařské vědy (Mathematics for biological and medical sciences), Academia, Praha, 1981.
3. Havránek T. and Hájek P., Avtomaticeskoe obrazovanie gipotez, Nauka, Moskva, 1984. (Russian translation of [1].)
4. Havránek T., Hájek P. and Jiroušek R., Processing uncertain information in expert systems, RC Press, Boca Raton (to appear).
5. Havránek T., Statistika pro biologické a lékařské vědy (Statistics for biological and medical sciences), Academia, Praha (to appear). Articles (excluding technical reports)