C. Bauer, “A new solution algorithm for skip-free processes to the left”, CUBO, vol. 12, no. 2, pp. 169–187, Jun. 2010.