A programming approach to computability - Arbib, Michael A. (Springer, 1968)