Reading list: Vacuum pumps 
Edwards