Michael J. C. Gordon The Denotational Semantics of Sequential Machines. 1-3 1980 10 Inf. Process. Lett. 1 db/journals/ipl/ipl10.html#Gordon80