T. Paajanen, “Analysis”, StOrE, vol. 77, pp. 36–128, Jul. 2015.