"Автоматизация программирования в краевых задачах" - читать интересную книгу автора (Рвачев В.Л., Манько Г.П.)