Gaya APA
Albert, E.
(2013).
Logic-Based Program Synthesis and Transformation
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Albert, Elvira.
"Logic-Based Program Synthesis and Transformation".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.