Interesting, I'll have a proper read of that. Sounds not unrelated to Kolmogorov complexity.