PanLinx
русский
rus-000
инвариантная процедура
English
eng-000
invariant procedure
PanLex