Dirichlet Forms and Symmetric Markov Processes by Masatoshi Fukushima & Yoichi Oshima