J. Rákosník and R. Pavlov, “European Digital Mathematics Library”, DiPP, vol. 3, pp. 25–34, Sep. 2013.