%A Weijland, W. P.
%A Baeten, J. C. M.
%T Process algebra
%I Cambridge University Press
%D 1990
%S Cambridge tracts in theoretical computer science
%V 18
%U https://ci.nii.ac.jp/ncid/BA1102147X