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