A Fortran extension, written at the tallinn poly inst in 1978, used for lexical, syntactic and semantic sepecification in the elma compiler writer. This system was widely used in the Soviet Union, and produced an ada to diana compiler.