@book{Str:91,
  year = 1991,
  series = {Progress in Theoretical Computer Science},
  author = {Streicher, Thomas},
  publisher = {Birkhaeuser Boston, Inc.},
  title = {Semantics of Type Theory},
  pages = {xii+298pp.},
}