@InCollection{alti:qio,
  author = 	 {Thorsten Altenkirch and Alexander Green},
  title = 	 {The {Quantum} {IO} {Monad}},
  booktitle = 	 {Semantic Techniques in Quantum Computation},
  pages={173--205},
  publisher = {Cambridge University Press},
  year =	 {2010},
  editor = {Simon Gay and Ian McKie},
  note = 	 {to appear},
}