APA Style
Zhu, Z, L, W, A, H. (2013).
Unifying Theories of Programming and Formal Engineering Methods .
:
.
MLA Style
Zhu, Zhiming, Liu,Jim, Woodcock, And, Huibiao.
"Unifying Theories of Programming and Formal Engineering Methods".
:
,
2013.
Information Technology.