Partial Evaluation for Common Intermediate Language. - Andrei M. Chepovsky; Andrei V. Klimov; Arkady V. Klimov; Yuri A. Klimov; Andrei S. Mishchenko; Sergei A. Romanenko; Sergei Yu. Skorobogatov (Ershov Memorial Conference, 2003)

An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. - Sergei M. Abramov; Robert Glück; Yuri A. Klimov (Ershov Memorial Conference, 2006)