PanLinx
русский
rus-000
детерминированная операционная система
English
eng-000
deterministic operating system
PanLex