# Bib file

@inproceedings{KlinSassoneSobocinski2005,
  author = {B. Klin and V. Sassone and P. Sobocinski},
  title = {Labels from reductions: towards a general theory},
  booktitle = {Proc. CALCO 2005},
  editor = {J. Fiadeiro and J. Rutten},
  series = {LNCS},
  volume = {3629},
  year = {2005}
}