A process for making clean gas discharge tubes | IEEE Journals & Magazine | IEEE Xplore