Vacuum technology - An introduction - L.G. Carpenter - CARPENTER, L.G. (Adam Hilger, 1983)