PanLinx
русский
rus-000
рекурсивная инвариантность
English
eng-000
recursive invariance
PanLex