# Bib file

@inproceedings{Klin2004CMCS,
  author = {B. Klin},
  title = {A coalgebraic approach to process equivalence and a
           coinduction principle for traces},
  booktitle = {Proc. CMCS 2004},
  series = {ENTCS},
  volume = {106},
  year = {2004}
}