M. Harjula, J. Malinen, and A. Rasila, “STACK with state”, MSOR, vol. 15, no. 2, pp. 60–69, Jan. 2017.