Carla Limongelli Marco Temperini Abstract Specification of Structures and Methods in Symbolic Mathematical Computation. 89-107 1992 104 Theor. Comput. Sci. 1 db/journals/tcs/tcs104.html#LimongelliT92 http://dx.doi.org/10.1016/0304-3975(92)90167-E