@book{ BA10756798,
  author    = "Baeten, J. C. M. and Klop, J. W. (Jan Willem) and Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) and Universiteit van Amsterdam and European Strategic Programme of Research and Development in Information Technology",
  title     = "CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings",
  publisher = "Springer-Verlag",
  year      = "1990",
  series    = "Lecture notes in computer science",
  number    = "458",
  URL       = "https://ci.nii.ac.jp/ncid/BA10756798"
}