J. Rákosník, P. Stanchev, and R. Pavlov, “European Digital Mathematics Library EuDML. Current State and Future Plans”, DiPP, vol. 6, pp. 29–36, Sep. 2016.