hinze-2023-certified:
  type: article
  title: Certified, total serialisers with an application to Huffman encoding
  author: HINZE, RALF
  date: 2023
  url: http://dx.doi.org/10.1017/s095679682200017x
  serial-number:
    doi: 10.1017/s095679682200017x
    issn: 1469-7653
  parent:
    type: periodical
    title: Journal of Functional Programming
    publisher: Cambridge University Press (CUP)
    volume: 33