Algebra of communicating processes with abstraction

@article{commproc-tcs37,
   apice = {ComproTcs37},
   author = {Bergstra, Jan A. and Klop, Jan Willem},
   doi = {10.1016/0304-3975(85)90088-X},
   issn = {0304-3975},
   journal = {Theoretical Computer Science},
   pages = {77--121},
   title = {Algebra of communicating processes with abstraction},
   url = {http://www.sciencedirect.com/science/article/pii/030439758590088X},
   volume = 37,
   year = 1985
}