DA PRATO, G. Elliptic operators with infinitely many variables. CUBO, A Mathematical Journal, v. 6, n. 2, p. 79-104, 1 Aug. 2004.