@incollection{bird:hal-03325977,
  TITLE = {{Algorithmics}},
  AUTHOR = {Bird, Richard and Gibbons, Jeremy and Hinze, Ralf and H{\"o}fner, Peter and Jeuring, Johan and Meertens, Lambert and M{\"o}ller, Bernhard and Morgan, Carroll and Schrijvers, Tom and Swierstra, Wouter and Wu, Nicolas},
  URL = {https://inria.hal.science/hal-03325977},
  NOTE = {TC 2: Software: Theory and Practice},
  BOOKTITLE = {{Advancing Research in Information and Communication Technology}},
  VOLUME = {AICT-600},
  PAGES = {59-98},
  YEAR = {2021},
  DOI = {10.1007/978-3-030-81701-5\_3},
  KEYWORDS = {Working groups ; Algorithmic programming ; Calculi},
  PDF = {https://inria.hal.science/hal-03325977/file/515831_1_En_3_Chapter.pdf},
  HAL_ID = {hal-03325977},
  HAL_VERSION = {v1},
}