PanLinx
English
eng-000
partical recursive scheme
русский
rus-000
частично-рекурсивная схема
PanLex