@Inproceedings{EPTCS266.21,
  author    = {Reutter, David and Vicary, Jamie},
  year      = {2018},
  title     = {Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)},
  editor    = {Coecke, Bob and Kissinger, Aleks},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Quantum Physics and Logic,
               {\rm Nijmegen, The Netherlands, 3-7 July 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {266},
  publisher = {Open Publishing Association},
  pages     = {329-348},
  doi       = {10.4204/EPTCS.266.21},
}