Grigelionis , B. On the Excessive Functions of the Step Markov Processes and Optimal Stopping Rules. LMJ 1967, 7 (1), 37-44. https://doi.org/10.15388/LMJ.1967.19932.