Process algebra. - Cambridge University Press, 1990. - ( Cambridge Tracts in Theoretical Computer Science ; 18).