3 K.B. Athreya J.M. Hitchcock J.H. Lutz E. Mayordomo 2004 Effective Strong Dimension in Algorithmic Information and Computational Complexity Springer-Verlag Lecture Notes in Computer Science 2996 632-643