Farzanand Kincaid. An Algebraic Framework for Compositional Program Analysis. 13 Oct. 2013.