H
[Hoa80] Charles Antony Richard Hoare. A Model for Communicating Sequential Processes. In R. M. McKeag et A. M. MacNaghten (eds.), On the Construction of Programs – An advanced course. Cambridge University Press, 1980. 
@incollection{CPAC-CSP-Hoare,
  author =              {Hoare, Charles Antony Richard},
  title =               {A Model for Communicating Sequential Processes},
  editor =              {McKeag, R. M. and MacNaghten, A. M.},
  booktitle =           {On the Construction of Programs~-- An advanced
                         course},
  publisher =           {Cambridge University Press},
  pages =               {229-254},
  year =                {1980},
}
Liste des auteurs