Handbook of Process Algebra (2001)

by J A Bergstra