Algorithmic introduction theory - Chaitin, Gregory J. (Cambridge University Press, 1992)