Coding and complexity - Longo, G. (Springer-Verlag, 1975)