1. Carnap, R.: The Continum of Inductive Methods. The University of Chicago Press.
2. Glushkov, V. M.: Sintez cifrovyh avtomatov (The synthesis of digital automata, in russian). Fizmatgiz 1962.
3. Grzegorczyk, A.: Zarys logiki matematycznej (An outline of the Mathematical Logic, in polish). PWN, Warszawa 1961.
4. Hájek, P., I. Havel, M. Chytil: GUHA-metoda systematického vyhledávání hypotéz (GUHA — a method of automatic hypotheses determination, in czech). Kybernetika2 (1966), 31–47.
5. Hájek, P., I. Havel, M. Chytil: GUHA — metoda systematického vyhledávání hypotéz (GUHA — a method of automatic hypotheses determination, in czech). II, to appear in Kybernetika.