High resolution infrared spectroscopy techniques for upper atmospheric measurements : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, and held at Silverthorne, Colorado, July 31-August 2, 1979 / editors, David G. Murcray, J.M. Alvarez.