R. Harjula, “Introduction”, StOrE, vol. 81, pp. 1–12, Jun. 2015.