P. Nikkilä, “Appendix”, StOrE, vol. 80, pp. 149–160, Jun. 2015.