Takahasi, S.- ei (1976) “A simple proof of the Stone-Weierstrass theorem for CCR-algebras with Hausdorff spectrum”., MATHEMATICA SCANDINAVICA, 38, pp. 304–306. doi: 10.7146/math.scand.a-11636.