PanLinx: формальное описание

русский	rus-000
формальное описание

English	eng-000	formal description
English	eng-000	formal specification

PanLex-PanLinx