@book{petrian:hal-03232344,
  TITLE = {{Coalgebraic Methods in Computer Science}},
  AUTHOR = {Petri{\c s}an, Daniela and Rot, Jurriaan},
  URL = {https://inria.hal.science/hal-03232344},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {LNCS-12094},
  YEAR = {2020},
  DOI = {10.1007/978-3-030-57201-3},
  PDF = {https://inria.hal.science/hal-03232344/file/BFM_12094.pdf},
  HAL_ID = {hal-03232344},
  HAL_VERSION = {v1},
}