Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Zhiming Liu, Jim Woodcock, Huibiao Zhu ((Lecture Notes in Computer Science))