PanLinx
русский
rus-000
задание конечного состояния
English
eng-000
end-point specification
PanLex