PanLinx
русский
rus-000
анализ методом верхней границы
English
eng-000
upper-bound analysis
PanLex
