Logic, Code, and the History of Programming | IEEE Journals & Magazine | IEEE Xplore