<i>The central tension in the software process comes from the fact that we must go from an informally identified need that exists in-the-world to a formal model that operates in-the-computer.</i> - Bruce Blum, 'Beyond Programming' (1996)<p><i>There are two models of reality that I find to be the most useful ones, especially when writing programs. The first is functions, and the second is sequences of states.</i> - Leslie Lamport<p><i>You threaten my startup with patents & debt? I've chosen my models carefully. Perhaps you should have done the same.</i> - @ML_Hipster<p>... from <a href="https://github.com/globalcitizen/taoup" rel="nofollow">https://github.com/globalcitizen/taoup</a>