Domain-Theoretic Foundations of Functional Programming door Thomas Streicher