Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL. - Radu Ocica; Dan Ionescu (World Congress on Formal Methods, 1999)