Dirichlet forms and Markov processes. - North-Holland Publishing Comp., 1980. - ( North-Holland mathematical library ; 23).