# Bib file

@inproceedings{Klin2004SOS,
  author = {B. Klin},
  title = {From bialgebraic semantics to congruence formats},
  booktitle = {Proc. SOS 2004},
  series = {ENTCS},
  volume = {128},
  issue = {1},
  year = {2005}
}