Turing, Lovelace, and Babbage