Jack B. Dennis A language design for structured concurrency. 231-242 1976 conf/sigada/1976 Design and Implementation of Programming Languages db/conf/sigada/ada1976.html#Dennis76