@book{proganal,
	author = {Nielson, F. and Nielson, H. R. and Hankin, C.},
	edition = {Corrected},
	publisher = {Springer},
	title = {Principles of program analysis},
	year = {1999}
}

@book{semantics,
	title = {Semantics with Applications: A Formal Introduction},
	author = {Nielson, H. R. and Nielson, F.},
	edition = {1999 Revised},
	publisher = {John Wiley \& Sons},
	year = {1992}
}

@article{monads,
	author = {Wadler, P.},
	title = {Monads for functional programming},
	year = {1995}
}

@book{fpasspec,
	author = {Koopman, P.},
	title = {Functional Programs as Executable Specifications},
	year = {1990},
	publisher = {Krips Repro Meppel}
}

@article{yard,
	author = {Jager, P.T.},
	title = {Analysing embedded domain specific languages in Haskell from Core},
	year = {2014}
}

@misc{cloogle,
	author = {Lubbers, M. and Staps, C.},
	title = {Cloogle, the {C}lean search engine},
	year = {2016},
	howpublished = "\mbox{\url{http://cloogle.org/}}",
	note = "Accessed June 2, 2016"
}