Vacuum Science and Technology Pioneers of the 20th Century - Redhead Paul A. (AIP Press, 1994)