"Анализ и трансформация программ" - читать интересную книгу автора (Аветисян А.И., Иванников В.П., Гайсарян С.С.)