Handbook of process algebra (2001)

by J Bergstra, A Ponse, S Smolka