@book{ BA1102147X,
  author    = "Weijland, W. P. and Baeten, J. C. M.",
  title     = "Process algebra",
  publisher = "Cambridge University Press",
  year      = "1990",
  series    = "Cambridge tracts in theoretical computer science",
  number    = "18",
  URL       = "https://ci.nii.ac.jp/ncid/BA1102147X"
}