J. Hämeen-Anttila, “Notes”, StOrE, vol. 66, pp. 139–142, Jul. 2015.