Gaya APA
Liu, Z. et al
(2013).
Theories of Programming and Formal Methods
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Liu, Zhiming. et al.
"Theories of Programming and Formal Methods".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.