PanLinx
普通话
cmn-000
代数规格说明
English
eng-000
algebraic specification
PanLex