@inproceedings{paper71,
  author = "S. Abramsky",
  booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004",
  pages = "410-414",
  publisher = "{IEEE} Computer Society",
  title = "High-Level Methods for Quantum Computation and Information",
  year = "2004",
}