PanLinx
русский
rus-000
формальный алгоритм
English
eng-000
formal algorithm
PanLex