J. Hämeen-Anttila, “Varia”, StOrE, vol. 72, pp. 86–134, Jul. 2015.