@article{Hfner_GH_12,
    author           = {H\"ofner, Peter and van Glabbeek, Robert and Hayes, Ian},
    doi              = {10.1007/s00165-012-0257-0},
    journal          = {Formal Aspects of Computing},
    keywords         = {carroll morgan, laws of programming, refinement calculus, refinement of ignorance, herman's ring,
                        security, probability and nondeterminism.},
    month            = jul,
    number           = {4-6},
    pages            = {417--422},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6107.pdf},
    title            = {Preface—{Morgan}: a suitable case for treatment},
    volume           = {24},
    year             = {2012}
  }