Contrasting themes in the semantics of imperative concurrency (1986)