@book{329297,
	author = {Makinson D. and Makinson D.},
	title = {Sets, Logic And Maths For Computing},
	publisher = {Springer},
	year = {2011}
}