@TechReport{      Asperti:1995:BOH:895247,
  Author        = "Asperti, A. and Giovannetti, C. and Naletto, A.",
  date-added    = "2013-07-03 14:38:46 +0000",
  date-modified = "2013-07-03 14:38:46 +0000",
  Publisher     = "University of Bologna",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Acabernet\%3Ancstrl.cabernet\%2F\%2FBOLOGNA\\#UBLCS-95-9",
  Title         = "The Bologna Optimal Higher-Order Machine",
  Year          = "1995",
  File          = "The Bologna Optimal Higher-Order Machine - Asperti, Giovannetti, Naletto (0) (0) - a - a - j.pdf"
}

@TechReport{ Asperti:1995:BOH:895247, Author = "Asperti, A. and Giovannetti, C. and Naletto, A.", date-added = "2013-07-03 14:38:46 +0000", date-modified = "2013-07-03 14:38:46 +0000", Publisher = "University of Bologna", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Acabernet\%3Ancstrl.cabernet\%2F\%2FBOLOGNA\#UBLCS-95-9", Title = "The Bologna Optimal Higher-Order Machine", Year = "1995", File = "The Bologna Optimal Higher-Order Machine - Asperti, Giovannetti, Naletto (0) (0) - a - a - j.pdf" }