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