Process algebra - Baeten, J.C.M; Weijland, W.P (Cambridge University Press, 1990)
περιέχει βιβλιογραφικές αναφορές