PanLinx
русский
rus-000
формализованная спецификация
English
eng-000
formal specification
українська
ukr-000
формалізована специфікація
PanLex