Elliot Catt, Michael Norrish: On the formalisation of Kolmogorov complexity. CPP 2021: 291-299