S. Seppälä, “Appendix”, StOrE, vol. 98, pp. 331–341, Jun. 2015.