R. Harjula, “Conclusion”, StOrE, vol. 81, pp. 111–124, Jun. 2015.