Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao (Springer Berlin Heidelberg : Imprint: Springer, 2013)