Domain-theoretic foundations of functional programming / - Streicher, Thomas, (World Scientific,, 2006)