@inproceedings{Catt_Norrish_21,
    address          = {Online},
    author           = {Catt, Elliot and Norrish, Michael},
    booktitle        = {Certified Proofs and Programs},
    date             = {2021-1-17},
    doi              = {https://doi.org/10.1145/3437992.3439921},
    month            = jan,
    pages            = {291--299},
    publisher        = {ACM},
    title            = {On the Formalisation of Kolmogorov Complexity},
    volume           = {online in press},
    year             = {2021}
  }