@mastersthesis{KissingerThesis2008,
  title = "Graph Rewrite Systems for Classical Structures in Dagger-Symmetric Monoidal Categories",
  author = "Aleks Kissinger",
  year = "2008",
}