Honeywell Systems and Research Center.

• Formal definition of the Ada programming language
• Low-cost solar antireflection coatings
• Solar pilot plant