Compressors and vacuum pumps and their lubrication. (Shell Petroleum, 1958)