@book{Pierce02,
  author = "Pierce, Benjamin C.",
  title = "{Types and Programming Languages}",
  publisher = "The MIT Press",
  isbn = "0262162091",
  year = "2002",
}