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