1. Single Assignment Language.2. Simple Actor Language.A minimal actor language, used for pedagogical purposes in:["Actors, A Model of Concurrent Computation in Distributed Systems", G. Agha, MIT Press 1986].(1994-12-08)3. SPARK Annotation Language.ICL, Ltd.Used in the verification of SPARK programs against Z specifications.(1994-12-08)