Kahn (1974) -- The Semantics of a Simple Language for Parallel Programming.pdf