Tool Support for Algebraic Specifications of Dat in SDL-92. - Nikolai Mansurov; Alexei S. Ragozin; Andrew V. Chernov; I. V. Mansurov (FORTE, 1996)

Industrial strength code generation from SDL. - Nikolai Mansurov; Andrew V. Chernov; Alexei S. Ragozin (SDL Forum, 1997)

Using declarative mapping for automatic code generation from SDL and ASN.1. - Nikolai Mansurov; Alexei S. Ragozin (SDL Forum, 1999)