Handbook of Process Algebra

@book{procalg-book2001,
   apice = {ProcalgBook2001},
   booktitle = {Handbook of Process Algebra},
   edition = {1st},
   editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
   publisher = {Elsevier Science B.V.},
   title = {Handbook of Process Algebra},
   url = {https://www.elsevier.com/books/handbook-of-process-algebra/bergstra/978-0-444-82830-9},
   year = 2001
}