The separation of gases. - Ruhemann, M. (1951)