1. <language> A Language for Attributed Definitions.
2. <tool> An interactive mathematics system for the IBM 360.
["A Conversational System for Engineering Assistance: ALADIN", Y. Siret, Proc Second Symp Symb Algebraic Math, ACM Mar 1971].