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