Searching for shortest and least programs - Calude C.S. (Elsevier B.V., 2020)
10.1016/j.tcs.2019.10.011