Towards a Definition of an Algorithm - Noson S. Yanofsky (2006)