@MastersThesis{   Wang:2005aa,
  Author        = "Wang, Jue",
  date-added    = "2018-04-25 08:31:43 +0000",
  date-modified = "2018-04-25 08:31:59 +0000",
  Title         = "Generating Random Terms in Beta Normal Form of the Simply-Typed Lambda Calculus",
  Year          = "2005",
  File          = "59b7119473338d904369621885c613ae0cc1 (0) - a - a - f.pdf"
}

@MastersThesis{ Wang:2005aa, Author = "Wang, Jue", date-added = "2018-04-25 08:31:43 +0000", date-modified = "2018-04-25 08:31:59 +0000", Title = "Generating Random Terms in Beta Normal Form of the Simply-Typed Lambda Calculus", Year = "2005", File = "59b7119473338d904369621885c613ae0cc1 (0) - a - a - f.pdf" }