Session K J. McCarthy "New results in mathematical theory of computation"; V.N. Red'ko "Parametrical grammars"; A.L. Fuksman "On some properties of formal grammars"; V.A. Tuzov "Resolution problems for graph schemes with permutational operators"; V.A. Nepomniashy "On one method for recognition of program schemata equivalence and discrete transformations"; M.G. Gonza, M.N. Maritchuk "Parametrically driven syntactic checking and analysis of programming languages".
