https://123dok.net/document/qo5ljr0j-document-interlinking-in-a-digital-mathematics-library.html