For example, like many long-lived programming systems ... but they turned out to be simple and systematic. The act of writing an independent semantics of the Excel formula language led to some ...