A direct method for studying the dynamic programming equation for controlled diffusion processes in hilbert spaces. - Barbu, V.; Da Prato, G. (Numerical Functional Analysis & Optimization, 1981)