Object oriented institutions to specify symbolic computation systemsCésar Domínguez, Laureano Lambán and Julio RubioRAIRO-Theor. Inf. Appl., 41 2 (2007) 191-214DOI: https://doi.org/10.1051/ita:2007015
