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