G. Da Prato, “Elliptic operators with infinitely many variables”, CUBO, vol. 6, no. 2, pp. 79–104, Aug. 2004.