Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann: A Declarative Framework for Analysis and Optimization. CC 2007: 218-232