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