| English | eng-000 |
| formal specification | |
| 普通话 | cmn-000 | 形式说明 |
| 普通话 | cmn-000 | 格式说明 |
| English | eng-000 | fomal description |
| hrvatski | hrv-000 | formalna specifikacija |
| русский | rus-000 | формализованная спецификация |
| русский | rus-000 | формальная спецификация |
| русский | rus-000 | формальное описание |
| українська | ukr-000 | формалізована специфікація |