PanLinx
English
eng-000
abstract specification
русский
rus-000
абстрактная спецификация
PanLex