Irreducibility and Computational Equivalence - Zenil, Hector (Dordrecht Springer Berlin Heidelberg, 2013)