Gaya APA
Etalle, S.
(2005).
Logic Based Program Synthesis and Transformation
(
1st ed.)
.
Berlin:
Springer.
Gaya MLA
Etalle, Sandro..
"Logic Based Program Synthesis and Transformation".
1st ed.
Berlin:
Springer,
2005.
E Book.