S.- ei Takahasi, “A simple proof of the Stone-Weierstrass theorem for CCR-algebras with Hausdorff spectrum”., Math. Scand., vol. 38, pp. 304–306, Jun. 1976.