1. Non deterministic recursive programs;Arnold,1977
2. The algebraic theory of context-free languages;Chomsky;Computer Programming and Formal Languages,1963
3. Theory of ω-languages, I, II;Cohen;J. Comput. System Sci.,1977
4. Algebraic families of interpretations;Courcelle,1976
5. Topology;Dugundji,1976