R. Lehonkoski, “Appendix”, StOrE, vol. 92, pp. 241–263, Jun. 2015.