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