The Universal Machine - Watson, Ian (Springer Berlin Heidelberg, 2012)