Daletskii, A. 1997. Asymptotic expansions for a class of infinite dimensional pseudodifferential operators. Methods of Functional Analysis and Topology. 3, 1 (Mar. 1997), 51–61.