Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems. - Blasio, Paolo Di; Temperini, Marco (J. Symb. Comput., 1995)