Coding and complexity - Longo, Giuseppe; Massey, J.L (Springer - Verlag, 1975)