@unpublished{ezyang12-reuse,
  title        = {Academic software reuse, an experience report},
  author       = {Edward Z. Yang},
  year         = {2012},
  howpublished = {6.UAP report advised by Adam Chlipala}
  institution  = {MIT},
}