@book{Winskel93,
  author = "Winskel93, Glynn",
  title = "{The Formal Semantics of Programming Languages - an Introduction}",
  publisher = "The MIT Press",
  isbn = "0262231697",
  year = "1993",
}