on I.V. Pottosin's scientific contribution to the project "Scientific foundations of automatic programming, development and applicaton of a series of compilers for high-level programming languages".