Cambridge University Press, 1990

J. C. M. Baeten, W. P. Weijland, Process Algebra, New York, NY, USA:Cambridge University Press, 1990.

1997