Книги — формальный вывод

Жемчужины проектирования алгоритмов: функциональный подход с примерами на языке Haskell