Semantic unification in a multi-language compiler. - Sergei B. Pokrovsky (Methods of Algorithmic Language Implementation, 1975)

Formal types and their application to dynamic arrays in PASCAL. - Sergei B. Pokrovsky (ACM SIGPLAN Notices, 1976)

Schematology in a Multi-Language Optimizer. - Victor N. Kasyanov; Sergei B. Pokrovsky (MFCS, 1977)