The algebra of synchronous processes / W.P. Weijland