TY  - BOOK
AU  - Puebla, Germ n
TI  - Logic-Based program synthesis and transformation [electronic resource]
SN  - 9783540714101
U1  - 005.115 
PY  - 2007///
CY  - Berlin
PB  - Heidelberg
N1  - http://dx.doi.org/10.1007/978-3-540-71410-1
ER  -