@InBook{          Sieber,
  Author        = "Sieber, Kurt",
  Editor        = "Fourman, Michael and Johnstone, P. T. and Pitts, Andrew M.",
  date-added    = "2013-02-18 12:40:12 +0000",
  date-modified = "2013-02-18 12:51:04 +0000",
  Keywords      = "lambda calculus and lambda-definability",
  Pages         = "258--269",
  Publisher     = "Cambridge University Press",
  Title         = "Reasoning about sequential functions via logical relations",
  Year          = "1992",
  bdsk-url-1    = "http://dx.doi.org/10.1017/CBO9780511525902.015",
  File          = "Reasoning about sequential functions via logical relations (pp 258--269) - Sieber (0) (0) - a - a - y.pdf"
}

@InBook{ Sieber, Author = "Sieber, Kurt", Editor = "Fourman, Michael and Johnstone, P. T. and Pitts, Andrew M.", date-added = "2013-02-18 12:40:12 +0000", date-modified = "2013-02-18 12:51:04 +0000", Keywords = "lambda calculus and lambda-definability", Pages = "258--269", Publisher = "Cambridge University Press", Title = "Reasoning about sequential functions via logical relations", Year = "1992", bdsk-url-1 = "http://dx.doi.org/10.1017/CBO9780511525902.015", File = "Reasoning about sequential functions via logical relations (pp 258--269) - Sieber (0) (0) - a - a - y.pdf" }