PanLinx
English
eng-000
determinate input
русский
rus-000
детерминированный входящий поток
PanLex
