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

On Hestenes' Formalization for Describing Linear Image Transforms. - Andrew V. Chernov; Vladimir M. Chernov (AFPAC, 1997)

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