Industrial high vacuum - Davy, J. R. (Pitman, 1951)