Process algebra (Oxford Univ. Press, 1994)
In: Computer journal. Vol. 37, No. 4, 1994