@misc{Morgan_15_2,
    address          = {K\"onigswinter, Germany},
    author           = {Morgan, Carroll},
    booktitle        = {Mathematics of Program Construction},
    month            = jun,
    note             = {One-hour invited talk at Mathematics of Program Construction},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8879.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8879.pdf},
    title            = { A nondeterministic lattice of information},
    year             = {2015}
  }