PanLinx
русский
rus-000
поэтапное усовершенствование
English
eng-000
stepwise refinement
PanLex
