@book{17938,
	author = {Giuntini,Roberto},
	title = {Quantum computation and logic : how quantum computers have inspired logical investigations},
	publisher = {Springer},
	year = {2018}
}