Методы контроля правильности программы: примеры и графики