@article{journals/jfp/CraryKP05,
	title = {A monadic analysis of information flow security with mutable state.},
	author = {Karl Crary and Aleksey Kliger and Frank Pfenning},
	journal = {J. Funct. Program.},
	number = {2},
	pages = {249-291},
	url = {http://dblp.uni-trier.de/db/journals/jfp/jfp15.html#CraryKP05},
	volume = {15},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2935917a1f2c8c932b1183d807f33676d/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1017/S0956796804005441}, date = {2005-04-05},
	keywords = {dblp }
}