Computation and State Machines: Use math, not PLs, to think about computation [pdf]research.microsoft.com5 pointspron10 years ago