שליחה במסרון: Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed.