Robin Milner Four Combinators for Concurrency. 104-110 1982 PODC db/conf/podc/podc82.html#Milner82