Concurrent processes and their syntax - Milne, George J.; Milner, Robin 1934-2010 (University <Edinburgh>, 1977)