@string{jfp = "Journal of Functional Programming"}

@Article{ckp:monad-jfp-final,
  author = 	 {Karl Crary and Aleksey Kliger and Frank Pfenning},
  title = 	 {A Monadic Analysis of Information Flow Security with Mutable Sate},
  journal = 	 jfp,
  year = 	 2005,
  volume =	 15,
  number =	 2,
  pages =	 {249 -- 291},
  month =	 mar
}