received by Ershov after his plenary paper "Transformational method in the technology of programming"