Bauer, C. (2010). A new solution algorithm for skip-free processes to the left. CUBO, A Mathematical Journal, 12(2), 169–187. https://doi.org/10.4067/S0719-06462010000200011