Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. - Sergei M. Abramov; Robert Glück (Fuji International Symposium on Functional and Logic Programming, 1998)

Principles of Inverse Computation in a Functional Language. - Sergei M. Abramov; Robert Glück (APLAS, 2000)

Combining Semantics with Non-standard Interpreter Hierarchies. - Sergei M. Abramov; Robert Glück (FSTTCS, 2000)

The Universal Resolving Algorithm: Inverse Computation in a Functional Language. - Sergei M. Abramov; Robert Glück (MPC, 2000)

From Standard to Non-Standard Semantics by Semantics Modifiers. - Sergei M. Abramov; Robert Glück (Int. J. Found. Comput. Sci., 2001)

Principles of Inverse Computation and the Universal Resolving Algorithm. - Sergei M. Abramov; Robert Glück (The Essence of Computation, 2002)

The universal resolving algorithm and its correctness: inverse computation in a functional language. - Sergei M. Abramov; Robert Glück (Sci. Comput. Program., 2002)

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