Vacuum technology : an introduction - Carpenter, L. G. (A. Hilger, 1983)