1. Formal structure of ALGOL and simplification of its description;Čulík,1962
2. Čulík, K., Friš, I., Gruska, J., Havel, I., Kopřiva, J., and Novotný, M., The mathematical theory of grammars and languages. (To be published).
3. The mathematical theory of context-free languages;Ginsburg,1966
4. Some recursively unsolvable problems in ALGOL-like languages;Ginsburg;J. ACM,1963
5. Operations which preserve definability in languages;Ginsburg;J. ACM,1963