Interesting, I had no idea. Wilkes doesn't cite Babbage, oh dear!