MBase: Representing knowledge and context for the integration of mathematical software systems - Kohlhase, Michael; et al. (Journal of Symbolic Computation, 2001)