@Inproceedings{EPTCS84.3,
  author    = {Nedunuri, Srinivas and Cook, William R. and Smith, Douglas R.},
  year      = {2012},
  title     = {Theory and Techniques for Synthesizing a Family of Graph Algorithms},
  editor    = {Peled, Doron and Schewe, Sven},
  booktitle = {{\rm Proceedings First Workshop on}
               Synthesis,
               {\rm Berkeley, California, USA, 7th and 8th July 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {84},
  publisher = {Open Publishing Association},
  pages     = {33-46},
  doi       = {10.4204/EPTCS.84.3},
}