"NASA Library"@cs .