@inbook{vanGlabbeek_Plotkin_10,
    address          = {London Dordrecht Heidelberg New York},
    author           = {van Glabbeek, Robert and Plotkin, Gordon},
    booktitle        = {Reflections on the Work of C.A.R. Hoare},
    editor           = {{Cliff B. Jones, A.W. Roscoe \& Kenneth R. Wood}},
    isbn             = {978-1-84882-911-4},
    keywords         = {concurrency, functional programming, computational lambda-calculus, free algebras, (de)constructors,
                        stable failures model},
    month            = sep,
    pages            = {333--369},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3656.pdf},
    publisher        = {Springer},
    series           = {History of Computing},
    title            = {On {CSP} and the Algebraic Theory of Effects},
    volume           = { },
    year             = {2010}
  }