Modeling inheritance as coercion in a symbolic computation system | Publicación