@article{teuhola1978,
  title = {A compression method for clustered bit-vectors},
  journal = {Information Processing Letters},
  volume = {7},
  number = {6},
  pages = {308-311},
  year = {1978},
  issn = {0020-0190},
  _doi = {https://doi.org/10.1016/0020-0190(78)90024-8},
  _url = {https://www.sciencedirect.com/science/article/pii/0020019078900248},
  author = {Jukka Teuhola},
  keywords = {Encoding methods, bit-vector compression}
}

@article{elias1975,
  author={Elias, P.},
  journal={IEEE Transactions on Information Theory}, 
  title={Universal codeword sets and representations of the integers}, 
  year={1975},
  volume={21},
  number={2},
  pages={194-203},
  _doi={10.1109/TIT.1975.1055349}
}

@misc{rfc8949,
	series =	{Request for Comments},
	number =	8949,
	howpublished =	{RFC 8949},
	publisher =	{RFC Editor},
	doi =		{10.17487/RFC8949},
	_url =		{https://rfc-editor.org/rfc/rfc8949.txt},
        author =	{Carsten Bormann and Paul E. Hoffman},
	title =		{{Concise Binary Object Representation (CBOR)}},
	pagetotal =	66,
	year =		2020,
	month =		dec,
}


@inbook{richardson2010,
  author = {Richardson, Iain E.},
  publisher = {John Wiley \& Sons, Ltd},
  isbn = {9780470989418},
  title = {H.264 Transform and Coding},
  booktitle = {The H.264 Advanced Video Compression Standard},
  chapter = {7},
  pages = {179-221},
  _doi = {https://doi.org/10.1002/9780470989418.ch7},
  _url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/9780470989418.ch7},
  eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/9780470989418.ch7},
  year = {2010},
  keywords = {H.264 transform and coding process development, binary coding - converting source video signal to H.264/AVC, transform and quantization - H.264 transforms, inverse transform - inverse quantization, luma and chrom transform processes, block scan orders - scanning blocks of transform coefficients, coded H.264 stream and coding methods},
  abstract = {Summary This chapter contains sections titled: Introduction Transform and quantization Block scan orders Coding Summary References}
}

@article{Huffman-AFP,
  author  = {Jasmin Christian Blanchette},
  title   = {The Textbook Proof of Huffman's Algorithm},
  journal = {Archive of Formal Proofs},
  month   = oct,
  year    = 2008,
  note    = {\url{https://isa-afp.org/entries/Huffman.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{Source_Coding_Theorem-AFP,
  author  = {Quentin Hibon and Lawrence C. Paulson},
  title   = {Source Coding Theorem},
  journal = {Archive of Formal Proofs},
  month   = oct,
  year    = 2016,
  note    = {\url{https://isa-afp.org/entries/Source_Coding_Theorem.html},
            Formal proof development},
  ISSN    = {2150-914x},
}