logic based program synthesis and transformation: 15th international symposium, lopstr 2005, london, uk, september 7-9, 2005, revised selected papers (en Inglés)

hill, patricia m. · springer