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