Takesi Watanabe "On the equivalence of excessive functions and superharmonic functions in the theory of Markov processes, I," Proceedings of the Japan Academy, Proc. Japan Acad. 38(7.S1), 397-401, (1962)