Managing the Knowledge Contained in Technical Documents