@inproceedings{hasuoheunenjacobssokolova:components,
  title = "Coalgebraic components in a many-sorted microcosm",
  author = "Ichiro Hasuo and Chris Heunen and Bart Jacobs and Ana Sokolova",
  year = "2009",
  booktitle = "CALCO'09",
  journal = "Lecture Notes in Computer Science",
  pages = "64-80",
  publisher = "Springer",
  volume = "5728",
  doi = "10.1007/978-3-642-03741-2_6",
}