Process algebra with propositional signals by J.C.M. Baeten