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