For HNers who use citation tools, a relevant RIS item for this may be as follows (sorry, had to edit to try to get it to format reasonably)

    TY  - MANSCPT
    TI  - Computation and State Machines
    AU  - Lamport, Leslie
    AB  - I have long thought that computer science is about concepts, not languages. On a visit to the University of Lugano in 2006, the question arose of what that implied about how computer science should be taught. This is a first, tentative attempt at an answer.
    DA  - 2008/04//
    PY  - 2008
    UR  - https://www.microsoft.com/en-us/research/publication/computation-state-machines/
    ER  -