@TechReport{erkok-launchbury-rmbtr-00,
   author  = "Levent {Erk\"{o}k} and John Launchbury",
   title   = "Recursive Monadic Bindings: Technical Development and Details", 
   institution = "Department of Computer Science and Engineering,
                  Oregon Graduate Institute of Science and Technology", 
   year    = "2000",
   month   = "June",
   number  = "CSE-00-011",
}