PanLinx
русский
rus-000
итерационный инвариант
English
eng-000
iterative invariant
PanLex