[1] K. ČULÍK: Applications of graph theory to mathematical logic and linguistics. Theory of graphs and it applications.
[2] K. ČULÍK: Formal structure of ALGOL and simplication of its description. 75-82, Symbolic languages in data processing (Roma 1962), Gordon - Breach, N. Y. 1963.