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 Zspecifications. (1994-12-08)