@book{359,
	author = {Stump, Aaron.,},
	title = {Verified functional programming in Agda /},
	publisher = {Association for Computing Machinery ;},
	year = {2016.},
	series = {ACM books,},
	address = {[New York] :},
	edition = {First edition.},
	url = {http://dl.acm.org/citation.cfm?id=2841316}
}