@phdthesis{Shivers,
	title = {Control-Flow Analysis of Higher-Order Languages},
	subtitle = {Taming Lambdas},
	author = {Olin Shivers},
	year = {1991},
	publisher = {Carnegie Mellon University},
	abstract = {representing the official policies, either expressed or implied, of ONR or the U.S. Government.},
	url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.2777},
}

@MASTERSTHESIS{Studienarbeit,
  title = {Control Flow in Functional Languages},
  subtitle = {Formally taming lambdas},
  year = {2010},
  month = {November},
  author = {Joachim Breitner},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
  type = {Student Research Project},
}
#  url = {http://pp.info.uni-karlsruhe.de/uploads/publikationen/},

@Misc{HaskProto,
  author = {Joachim Breitner},
  title = {{Implementation of Shivers' Control-Flow Analysis}},
  howpublished = {\url{http://hackage.haskell.org/package/shivers-cfg-0.1}},
  year = {2010},
  month = {November},
  version = {0.1},
  keywords = {Language},
  subtype = {library},
}
