Functional analysis in Markov processes. - Fukushima M (1982)