Unifying Theories of Programming and Formal Engineering Methods - Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao (Springer Berlin Heidelberg, 2013)