PanLinx
English
eng-000
class invariant
русский
rus-000
инвариант класса
PanLex