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.