Kato 1978 Kato, Tosio (1978), "Trotter's product formula for an arbitrary pair of self-adjoint contraction semigroups", Topics in functional analysis (essays dedicated to M. G. Kreĭn on the occasion of his 70th birthday), Adv. in Math. Suppl. Stud., vol. 3, Boston, MA: Academic Press, pp. 185–195, MR0538020