"Domain-theoretic Foundations of Functional Programming" - читать интересную книгу автора (Thomas Streicher)