H. Palva, “Glossary”, StOrE, vol. 69, pp. 167–178, Jul. 2015.