PanLinx
Deutsch
deu-000
LOTOS
English
eng-000
Language Of Temporal Ordering Specification
PanLex
