@article{DBLP:journals/jcs/HarrisonH09,
 author = {William L. Harrison and
James Hook},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/jcs/HarrisonH09.bib},
 doi = {10.3233/JCS-2009-0356},
 journal = {J. Comput. Secur.},
 number = {5},
 pages = {599--653},
 timestamp = {Mon, 11 May 2020 01:00:00 +0200},
 title = {Achieving information flow security through monadic control of effects},
 url = {https://doi.org/10.3233/JCS-2009-0356},
 volume = {17},
 year = {2009}
}