Mihaela Sighireanu, Xavier Bouchoux, Claude Chaudet, Hubert Garavel, Marc Herbert, Frederic Lang, and Bruno Vivien. TRAIAN: A Compiler for E-LOTOS/LOTOS NT Specifications, November 2000.

Languages mentioned

• E-LOTOS {1998}