Kolmogorov complexity and computational complexity (Springer, 1992)