@book{Str:06,
  publisher = {World Scientific},
  author = {Streicher, Thomas},
  year = 2006,
  title = {Domain-theoretic Foundations of Functional Programming},
  pages = {x + 120pp.},
}