R. Harjula, “Index”, StOrE, vol. 81, pp. 133–136, Jun. 2015.