Process Algebra door W.P. Weijland, T. Basten & Jos C.M. Baeten