Как составить формальное описание программы