The separation of gases / - Ruhemann, M. (Clarendon Press,, 1949)