@book{53379,
	author = {Doets, Kees},
	title = {The Haskell Road to Logic, Math and Programming},
	publisher = {College Publications,},
	year = {2012.},
	address = {UK:},
	edition = {2nd ed.},
	url = {http://10.10.170.122:8080/browse/book/2973}
}