K
[KS90] Paris C. Kanellakis and Scott A. Smolka. CCS expressions finite state processes, and three problems of equivalence. Information and Computation 86(1):43-68. Academic Press, May 1990. 
@article{icomp86(1)-KS,
  author =              {Kanellakis, Paris C. and Smolka, Scott A.},
  title =               {{CCS} expressions finite state processes, and three
                         problems of equivalence},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {86},
  number =              {1},
  pages =               {43-68},
  year =                {1990},
  month =               may,
}
List of authors