Nikolai Mansurov Alexei S. Ragozin Andrew V. Chernov I. V. Mansurov Tool Support for Algebraic Specifications of Dat in SDL-92. 61-76 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#MansurovRCM96