■

• V. Stoltenberg-Hansen, I. Lindström and E. R. Griffor　　Mathematical Theory of Domains, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science Series, no. 22, 2008 (First Published in Hardback in 1994)
• Roberto M. Amadio and Pierre-Louis Curien　　Domains and Lambda-Calculi, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science Series, no. 46, 2008 (First Published in Hardback in 1998)
• Gottlob Frege　　Collected Papers on Mathematics, Logic, and Philosophy, Brian McGuinness ed., Max Black et al. trans., Blackwell, 1984