Modern (for last 30-40 years at least) way to write about programming is way more about tech than math. Alan Turing do really describe Mark I/II processor as 'state machine' concepts, and do it like ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results