1. a language for attributed definitions.

2. 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].