@book{bonsangue:hal-01408765,
  TITLE = {{Coalgebraic Methods in Computer Science}},
  AUTHOR = {Bonsangue, Marcello M.},
  URL = {https://inria.hal.science/hal-01408765},
  PUBLISHER = {{Springer}},
  SERIES = {Coalgebraic Methods in Computer Science},
  VOLUME = {LNCS-8446},
  YEAR = {2014},
  HAL_ID = {hal-01408765},
  HAL_VERSION = {v1},
}