BibTex format
@inproceedings{Falconer:2007,
author = {Falconer, H and Kelly and P, H J and Ingram, D M and Mellor and Michael, R and Field, A J and Beckmann, O},
publisher = {Springer LNCS},
title = {A declarative framework for analysis and optimization},
year = {2007}
}