PanLinx
English
eng-000
algebraic specification
普通话
cmn-000
代数规格说明
русский
rus-000
алгебраическая спецификация
PanLex