Logic based program synthesis and transformation 15th International Symposium, LOPSTR 2005, London, UK, September 2005 ; revised sel. papers (Springer, 2006)