%0 Book
%A  edited by Alan W. Biermann, Gérard Guiho.
%T Computer Program Synthesis Methodologies : 
%U /book/90141093/Computer-Program-Synthesis-Methodologies/