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