J. Hämeen-Anttila, “Appendices”, StOrE, vol. 72, pp. 145–148, Jul. 2015.