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