Toward the Compilation of Books into Teaching Machine Programs | IEEE Journals & Magazine | IEEE Xplore