@PhdThesis{Asenov17,
  author = {D. Asenov},
  title  = {Envision: Reinventing the Integrated Development Environment},
  school = {ETH Zurich},
  year   = {2017}
}