On the Time Required for Timing—The Halting Problem Rephrased | IEEE Journals & Magazine | IEEE Xplore