@TechReport{maraist-et-al:call-by-tr,
  author = 	 "John Maraist and Martin Odersky 
                        and David N. Turner and Philip Wadler",
  title = 	 "Call-by-name, call-by-value, call-by-need, 
                        and the linear lambda calculus",
  institution =  {Fakult\"at f\"ur Informatik, University of Karlsruhe},
  year = 	 1995,
  number =	 "#5-95"
}