APA Style

HuibiaoZhu(Eds.), Z, L, A, J, W, A. (1998). Theories of Programming and Formal Methods . : .

MLA Style

HuibiaoZhu(Eds.), Zhiming, Liu, And, Jim, Woodcock, And. "Theories of Programming and Formal Methods". : , 1998. Information Technology.