Migrating from paper-based to electronic documentation is a task that needs careful planning. Electronic texts offer new ways to store, retrieve, update, and cross-link information. Hypermedia documents, in which texts are cross-linked via keywords and in which audio and video...