<language>
1. Simple Actor Language.
2. SPARK Annotation Language.
Try this search on Wikipedia, OneLook, Google