Zouev E. 

Publications in Math-Net.Ru

1. Unified type system for the modern general-purpose programing language
   
   Proceedings of ISP RAS, 34:3 (2022),  13–30
2. The concept of inheritance in modern programming languages
   
   Proceedings of ISP RAS, 27:6 (2015),  169–188