"Формальные основания функционального программирования" - читать интересную книгу автора (Гаврилов А.В.)