PanLinx
русский
rus-000
аксиоматическая спецификация
English
eng-000
axiomatic specification
PanLex
