Henry Falconer Paul H. J. Kelly David M. Ingram Michael R. Mellor Tony Field Olav Beckmann A Declarative Framework for Analysis and Optimization. 218-232 2007 conf/cc/2007 CC http://dx.doi.org/10.1007/978-3-540-71229-9_15 db/conf/cc/cc2007.html#FalconerKIMFB07