@InProceedings{tgc08,
  author = {Ebbe Elsborg and Thomas T. Hildebrandt and Davide Sangiorgi},
  title = {Type {S}ystems for {B}igraphs},
  booktitle = {Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC'08)},
  pages = {126-140},
  year = {2009},
  editor = {Christos Kaklamanis and Flemming Nielson},
  volume = {5474},
  series = {Lecture Notes in Computer Science},
  month = {April},
  publisher = {Springer-Verlag}
}