Charles Babbage as an algorithmic thinker | IEEE Journals & Magazine | IEEE Xplore