PROCESS ALGEBRA - Baeten, J. C. M.; Weijland, W. P. (Cambridge Cambridge Univ. Pr., 1990)
Keywords: Algebra