Takahasi S ei. A simple proof of the Stone-Weierstrass theorem for CCR-algebras with Hausdorff spectrum. Math. Scand. 1976;38:304-306. doi:10.7146/math.scand.a-11636