"Specialising Fininte Domain Programs Using Polyhedra."

Jacob M. Howe, Andy King (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics