Robin Milner An Algebraic Theory for Synchronization. 27-35 1979 conf/tcs/1979 Theoretical Computer Science db/conf/tcs/tcs1979.html#Milner79