@book{40518,
	author = {36},
	title = {Mathematical structures for computer science /}
}