R. Lehonkoski, “Preliminaries”, StOrE, vol. 92, pp. 7–18, Jun. 2015.