@inproceedings{Marsden2014a,
  title = "Fibred Coalgebraic Logic and Quantum Protocols",
  author = "D. Marsden",
  year = "2014",
  booktitle = "Proceedings of the 10th International Workshop on Quantum Physics and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013",
  editor = "B. Coecke and M. J. Hoban",
  pages = "90--99",
  series = "{EPTCS}",
  url = "http://dx.doi.org/10.4204/EPTCS.171",
  volume = "171",
  doi = "10.4204/EPTCS.171",
}